Sciweavers

2123 search results - page 72 / 425
» Composition of Cyber-Physical Systems
Sort
View
ICEIS
2009
IEEE
15 years 11 months ago
Monitoring Service Compositions in MoDe4SLA - Design of Validation
Lianne Bodenstaff, Andreas Wombacher, Roel Wiering...
ICEIS
2007
IEEE
15 years 10 months ago
Automatic Composition of Semantic Web Services Using Process Mediation
Zixin Wu, Karthik Gomadam, Ajith Ranabahu, Amit P....
HICSS
2005
IEEE
93views Biometrics» more  HICSS 2005»
15 years 9 months ago
Service Composition on Top of Exchangable Protocols
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
Stefan Böttcher, Christian Dannewitz
CONCUR
2003
Springer
15 years 9 months ago
Abstract Patterns of Compositional Reasoning
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Ri...
ESEC
1997
Springer
15 years 8 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...