2911 search results - page 499 / 583 » A Logic of Graph Constraints |
172
click to vote
ICNP
2006
IEEE
16 years 5 days 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...
165
click to vote
SEFM
2006
IEEE
16 years 4 days 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...
146
click to vote
ELPUB
2006
ACM
16 years 3 days 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...
153
click to vote
NETGAMES
2006
ACM
16 years 3 days 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...
167
click to vote
KBSE
2005
IEEE
15 years 11 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...