Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
This two-volume set LNCS 4803/4804 constitutes the refereed proceedings of the five confederated international conferences on Cooperative Information Systems (CoopIS 2007), Distributed Objects and Applications (DOA 2007), Ontologies, Databases and Applications of Semantics (ODBASE 2007), Grid computing, high performance and Distributed Applications (GADA 2007), and Information Security (IS 2007) held as OTM 2007 in Vilamoura, Portugal, in November 2007.
The 95 revised full and 21 revised short papers presented together with five keynote talks were carefully reviewed and selected from a total of 362 submissions.
Corresponding with the five OTM 2007 main conferences CoopIS, ODBASE, GADA, and DOA, the papers include topical sections on process analysis and semantics, process modeling, P2P, collaboration, business transactions, dependability and security, middleware and web services, aspects and development tools, mobility and distributed algorithms, and many more.
Content Level »Research
Keywords »Internet - Web services - Web-based systems - access control - algorithms - aspect-oriented programming - authentication - business process management - cooperative systems - data security - data semantics - database - fault tolerance - performance - tools
CoopIS 2007 International Conference (International Conference on Cooperative Information Systems).- CoopIS 2007 PC Co-chairs’ Message.- The Internet Service Bus.- Soundness Verification of Business Processes Specified in the Pi-Calculus.- Extending BPMN for Modeling Complex Choreographies.- Semantics of Standard Process Models with OR-Joins.- Pattern-Based Design and Validation of Business Process Compliance.- Constraint-Based Workflow Models: Change Made Easy.- Dynamic, Extensible and Context-Aware Exception Handling for Workflows.- Understanding the Occurrence of Errors in Process Models Based on Metrics.- Data-Driven Modeling and Coordination of Large Process Structures.- Supporting Ad-Hoc Changes in Distributed Workflow Management Systems.- Acquaintance Based Consistency in an Instance-Mapped P2P Data Sharing System During Transaction Processing.- Enabling Selective Flooding to Reduce P2P Traffic.- Improving the Dependability of Prefix-Based Routing in DHTs.- Social Topology Analyzed.- Conflict Resolution of Boolean Operations by Integration in Real-Time Collaborative CAD Systems.- Trust Extension Device: Providing Mobility and Portability of Trust in Cooperative Information Systems.- Organizing Meaning Evolution Supporting Systems Using Semantic Decision Tables.- Extending Online Travel Agency with Adaptive Reservations.- A Multi-level Model for Activity Commitments in E-contracts.- Decentralised Commitment for Optimistic Semantic Replication.- Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework.- Verifying Composite Service Transactional Behavior Using Event Calculus.- Matching Cognitive Characteristics of Actors and Tasks.- The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing.- Ontology Enrichment in Multi Agent Systems Through Semantic Negotiation.- A Relaxed But Not Necessarily Constrained Way from the Top to the Sky.- Collaborative Filtering Based on Opportunistic Information Sharing in Mobile Ad-Hoc Networks.- Policy-Based Service Registration and Discovery.- Business Process Quality Metrics: Log-Based Complexity of Workflow Patterns.- Distributed Objects and Applications (DOA) 2007 International Conference.- DOA 2007 PC Co-chairs’ Message.- WS-CAF: Contexts, Coordination and Transactions for Web Services.- Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks.- Formal Verification of a Group Membership Protocol Using Model Checking.- Revisiting Certification-Based Replicated Database Recovery.- A Survey of Fault Tolerant CORBA Systems.- Flexible Reuse of Middleware Infrastructures in Heterogeneous IT Environments.- Self-optimization of Clustered Message-Oriented Middleware.- Minimal Traffic-Constrained Similarity-Based SOAP Multicast Routing Protocol.- Implementing a State-Based Application Using Web Objects in XML.- Experience with Dynamic Crosscutting in Cougaar.- Property-Preserving Evolution of Components Using VPA-Based Aspects.- Multi-stage Aspect-Oriented Composition of Component-Based Applications.- An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems.- A Bluetooth-Based JXME Infrastructure.- Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation.- An Adaptive Coupling-Based Algorithm for Internal Clock Synchronization of Large Scale Dynamic Systems.- Reviewing Amnesia Support in Database Recovery Protocols.- The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation.- Building Adaptive Systems with Service Composition Frameworks.- Invasive Patterns for Distributed Programs.- NSLoadGen– A Testbed for Notification Services.- Ontologies, Databases and Applications of Semantics (ODBASE) 2007 International Conference.- ODBASE 2007 PC Co-chairs’ Message.- Towards Next Generation Value Networks.- Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping.- Discovering Executable Semantic Mappings Between Ontologies.- Interoperability of XML Schema Applications with OWL Domain Knowledge and Semantic Web Tools.- Query Expansion and Interpretation to Go Beyond Semantic P2P Interoperability.- SPARQL++ for Mapping Between RDF Vocabularies.- OntoPath: A Language for Retrieving Ontology Fragments.- Taxonomy Construction Using Compound Similarity Measure.- r 3– A Foundational Ontology for Reactive Rules.- Heuristics for Constructing Bayesian Network Based Geospatial Ontologies.- OntoCase - A Pattern-Based Ontology Construction Approach.- Towards Community-Based Evolution of Knowledge-Intensive Systems.- ImageNotion: Methodology, Tool Support and Evaluation.- Optimal Learning of Ontology Mappings from Human Interactions.- Automatic Feeding of an Innovation Knowledge Base Using a Semantic Representation of Field Knowledge.- Ontology Learning for Search Applications.- MultiBeeBrowse – Accessible Browsing on Unstructured Metadata.- Matching of Ontologies with XML Schemas Using a Generic Metamodel.- Labeling Data Extracted from the Web.- Data Quality Enhancement of Databases Using Ontologies and Inductive Reasoning.- A Web Services-Based Annotation Application for Semantic Annotation of Highly Specialised Documents About the Field of Marketing.- Ontology Based Categorization in eGovernment Application.- Semantic Matching Based on Enterprise Ontologies.