1463 search results - page 228 / 293 » Model Checking Implicit-Invocation Systems |
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
153
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
147
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
239
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
121
click to vote
IANDC
2007
15 years 1 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...