617 search results - page 76 / 124 » Debugging distributed programs using controlled re-execution |
151
click to vote
CCS
2011
ACM
14 years 2 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
166
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
131
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
151
click to vote
CCGRID
2001
IEEE
15 years 6 months ago
2001
IEEE
While You're Away (WYA) is a distributed system that aggregates the computational power of individual computer systems. WYA introduces the notion of Roaming Computations - Ja...
106
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...