5863 search results - page 354 / 1173 » On Model-Checking of P Systems |
247
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we study the problem of utility maximization in P2P systems, in which aggregate application-specific utilities are maximized by running distributed algorithms on P2...
178
click to vote
SAFECOMP
2009
Springer
16 years 2 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
190
Voted
FOSSACS
2010
Springer
16 years 2 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-...
163
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
189
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...