854 search results - page 71 / 171 » Addressing Dynamic Issues of Program Model Checking |
125
click to vote
ICDCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Content-based publish/subscribe (pub/sub) is a promising paradigm for building asynchronous distributed applications. In many application scenarios, these systems are required to ...
110
click to vote
IEEEIAS
2009
IEEE
15 years 9 months ago
2009
IEEE
A computer worm is an autonomous malicious, selfreplicating and propagating piece of code that is able to spread fast in computer networks, exploiting the vulnerabilities it disco...
212
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
130
click to vote
ENTCS
2002
15 years 2 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
115
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....