1636 search results - page 178 / 328 » Reasoning About Quantum Systems |
198
Voted
PASTE
2004
ACM
16 years 13 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
170
Voted
PRIMA
2004
Springer
16 years 11 days ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
183
click to vote
VL
2003
IEEE
16 years 8 days ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
190
click to vote
FM
2003
Springer
16 years 7 days ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
202
Voted
ICALP
2003
Springer
16 years 7 days ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...