Sciweavers

3686 search results - page 207 / 738
» Pattern-Based Parallel Programming
Sort
View
PODC
2000
ACM
15 years 9 months ago
Debugging distributed programs using controlled re-execution
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
Neeraj Mittal, Vijay K. Garg
DCOSS
2010
Springer
15 years 8 months ago
Programming Sensor Networks with State-Centric Services
This paper presents the uDSSP ("micro DSSP") programming model which simplifies the development of distributed sensor network applications that make use of complex in-net...
Andreas Lachenmann, Ulrich Müller, Robert Sug...
144
Voted
JLP
2007
86views more  JLP 2007»
15 years 4 months ago
Typing noninterference for reactive programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
Ana Almeida Matos, Gérard Boudol, Ilaria Ca...
IPPS
2008
IEEE
15 years 11 months ago
Smart proxies in Java RMI with dynamic aspect-oriented programming
Java RMI extends Java with distributed objects whose methods can be called from remote clients. traction is supported using statically-generated proxy objects on the client to hid...
Andrew Stevenson, Steve MacDonald
COORDINATION
2007
Springer
15 years 11 months ago
A Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
Steve Gregory, Martha Paschali