4434 search results - page 54 / 887 » On the Composition of Hybrid Systems |
136
click to vote
PRDC
2008
IEEE
16 years 15 days ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
133
click to vote
ICIW
2007
IEEE
16 years 13 days ago
2007
IEEE
— Service-Oriented Computing (SOC) is a promising means to integrate heterogeneous systems. Services from different providers can be integrated into a composite service regardles...
183
click to vote
DEBU
2002
15 years 6 months ago
2002
Web services composition is emerging as a promising technology for the effective automation of businessto-business collaborations. It allows organizations to form alliances by con...
176
click to vote
DSN
2009
IEEE
16 years 27 days ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...
170
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...