285 search results - page 13 / 57 » Towards a Compositional Approach to the Design and Verificat... |
155
Voted
CCR
2004
15 years 5 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
169
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
With the proliferation of multimedia data sources on the Internet, we envision an increasing demand for value-added and functionrich multimedia services that transport, process, a...
153
click to vote
OMER
2001
15 years 7 months ago
2001
Abstract: Modeling of modern production plants often requires that the system provides means to cope with frequent changes in topology and equipment and can easily be adapted to ne...
174
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
169
click to vote
SSS
2010
Springer
15 years 3 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...