1541 search results - page 214 / 309 » Tools and Techniques for Model Checking Networked Programs |
121
Voted
DSN
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...
131
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
118
Voted
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
123
click to vote
DASIP
2010
14 years 7 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
121
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...