2354 search results - page 444 / 471 » A Common-Sense Theory of Time |
102
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Modeling dynamical systems composed of aggregations of primitive proteins is critical to the field of astrobiological science, which studies early evolutionary structures dealing ...
127
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
109
Voted
DSMML
2004
Springer
15 years 5 months ago
2004
Springer
The arithmetic-coding-based communication system, Dasher, can be driven by a one-dimensional continuous signal. A belt-mounted breath-mouse, delivering a signal related to lung vol...
118
Voted
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...
123
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...