10038 search results - page 329 / 2008 » Model Checking for Managers |
320
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
: The accelerated development in Peer-to-Peer (P2P) and Grid computing has positioned them as promising next generation computing platforms. They enable the creation of Virtual Ent...
181
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Pervasive devices interacting in open and dynamic spaces with each others require a mechanism that allows them acting autonomously in a secure way and protecting their resources. ...
174
click to vote
MRCO
2005
Springer
16 years 5 days ago
2005
Springer
In the research project EPOS1 we build a pro-active, contextsensitive support system to aid the user with his knowledge work, which is mostly about searching, reading, creating, an...
132
click to vote
CODAS
1996
15 years 8 months ago
1996
ntic abstractions classification, aggregation and generalization are extremely useful for modeling complex situations containing time-independent events. This paper shows that the...
164
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...