Sciweavers

534 search results - page 41 / 107
» A Framework for Dependency Based Automatic Service Compositi...
Sort
View
VLDB
2005
ACM
165views Database» more  VLDB 2005»
14 years 1 months ago
Semantic Adaptation of Schema Mappings when Schemas Evolve
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
Cong Yu, Lucian Popa
SIGSOFT
2003
ACM
14 years 8 months ago
Ontology support for web service processes
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
Claus Pahl, Michael Casey
CHARME
2003
Springer
120views Hardware» more  CHARME 2003»
13 years 11 months ago
A Compositional Theory of Refinement for Branching Time
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
Panagiotis Manolios
ANSS
2002
IEEE
14 years 20 days ago
Behavioral Model Composition in Simulation-Based Design
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
ICSOC
2004
Springer
14 years 1 months ago
Associating assertions with business processes and monitoring their execution
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...