592 search results - page 26 / 119 » Can Component Service-Based Systems Be Proved Correct |
153
Voted
LATIN
2004
Springer
15 years 8 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
149
Voted
ALIFE
2005
15 years 3 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
126
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
122
click to vote
PDPTA
2004
15 years 4 months ago
2004
Highly available storage uses replication and other redundant storage to recover from a component failure. If parity data calculated from an erasure correcting code is not updated...
101
Voted
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...