10916 search results - page 1882 / 2184 » On Constructive Connectives and Systems |
176
click to vote
PADS
2006
ACM
16 years 20 days ago
2006
ACM
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
227
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
185
click to vote
PPPJ
2006
ACM
16 years 20 days ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
182
click to vote
SIGSOFT
2006
ACM
16 years 20 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
201
click to vote
WOWMOM
2006
ACM
16 years 20 days ago
2006
ACM
Motivated by recent surfacing viruses that can spread over the air interfaces, in this paper, we investigate the potential disastrous threat of node compromise spreading in wirele...