506 search results - page 55 / 102 » Constructor-based observational logic |
114
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
130
click to vote
TMC
2012
13 years 3 months ago
2012
WiFi interface is known to be a primary energy consumer in mobile devices, and idle listening (IL) is the dominant source of energy consumption in WiFi. Most existing protocols, s...
134
Voted
TMC
2012
13 years 3 months ago
2012
—Sensor networks nowadays are widely used for structural health monitoring; for example, the sensor monitoring system deployed on the Guangzhou New TV Tower, China. While wired s...
138
click to vote
CSFW
2003
IEEE
15 years 5 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
74
Voted
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...