2911 search results - page 499 / 583 » A Logic of Graph Constraints |
112
Voted
ICNP
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
115
click to vote
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
ELPUB
2006
ACM
15 years 6 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
89
Voted
NETGAMES
2006
ACM
15 years 6 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
114
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...