1940 search results - page 110 / 388 » The Dynamic Logic of Permission |
203
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
162
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
278
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...
167
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
199
click to vote
MOBIWAC
2006
ACM
16 years 14 days ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...