4447 search results - page 726 / 890 » Model Checking Games |
205
click to vote
DKE
2008
15 years 6 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
162
click to vote
IANDC
2010
15 years 5 months ago
2010
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit de...
262
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
210
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
160
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...