1463 search results - page 203 / 293 » Model Checking Implicit-Invocation Systems |
138
click to vote
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
104
click to vote
ACL
2007
15 years 2 months ago
2007
A Bloom filter (BF) is a randomised data structure for set membership queries. Its space requirements are significantly below lossless information-theoretic lower bounds but it ...
114
click to vote
IS
2010
14 years 12 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...