1633 search results - page 264 / 327 » On the Verification of Temporal Properties |
110
click to vote
RTS
2006
14 years 11 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
SAC
2006
ACM
14 years 11 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
113
click to vote
SIGOPS
2008
14 years 11 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
110
click to vote
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
CONSTRAINTS
2002
14 years 11 months ago
2002
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...