2468 search results - page 261 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
162
click to vote
CISS
2007
IEEE
15 years 10 months ago
2007
IEEE
Limiting capabilities of practical recognition systems are determined by a variety of factors that include source encoding techniques, quality of images, complexity of underlying ...
149
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
155
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
130
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
128
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...