1541 search results - page 218 / 309 » Tools and Techniques for Model Checking Networked Programs |
115
click to vote
PLDI
2005
ACM
15 years 6 months ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
80
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
113
Voted
ICDE
2010
IEEE
15 years 24 days ago
2010
IEEE
— The increasing popularity of social networks, such as Facebook and Orkut, has raised several privacy concerns. Traditional ways of safeguarding privacy of personal information ...
105
Voted
MASCOTS
2003
15 years 2 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
105
Voted
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...