2227 search results - page 262 / 446 » Reversibility and Models for Concurrency |
158
click to vote
WDAG
2009
Springer
16 years 11 days ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
153
click to vote
POLICY
2009
Springer
16 years 10 days ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
157
click to vote
SPIN
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
181
click to vote
SECON
2007
IEEE
16 years 1 days ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
139
Voted
FOSSACS
2007
Springer
15 years 12 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...