1098 search results - page 79 / 220 » System safety as an emergent property in composite systems |
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
CAV
2006
Springer
14 years 19 days ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
CANDC
2007
ACM
14 years 27 days ago
2007
ACM
This research explores links between constraint development in creative processes and end user development in environments for creative tasks. A process model describing the devel...
ICDT
2010
ACM
14 years 27 days ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...