22 search results - page 4 / 5 » Towards a Theory of Time-Bounded Verification |
ICUIMC
2011
ACM
12 years 9 months ago
2011
ACM
Physical layer capture in WLANs makes a receiver to decode a relatively strong packet in a collision. According to recent works, an augmented physical layer capture handles interf...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
PODS
2008
ACM
14 years 5 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
MM
2004
ACM
13 years 11 months ago
2004
ACM
This purpose of this paper is to present a journal-based system that provides a way for users to reconstruct their emotions around events in their lives, and to see how recall of ...
AGP
2010
IEEE
13 years 3 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...