937 search results - page 101 / 188 » On the Complexity of Partial Order Properties |
149
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
172
click to vote
TPHOL
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
175
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents protocols and strategies for coalition formation with incomplete information under time constraints. It focuses on strategies for coalition members to distribu...
137
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
We present ideas on how to structure software systems for high availability by considering MTTR/MTTF characteristics of components in addition to the traditional criteria, such as...
146
click to vote
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
This paper studies under what conditions congestion control schemes can be both efficient, so that capacity is not wasted, and incentive compatible, so that each participant can m...