14 search results - page 3 / 3 » A fixpoint calculus for local and global program flows |
SAC
2003
ACM
13 years 11 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
ESOP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
CCR
2004
13 years 5 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
NN
2000
Springer
13 years 5 months ago
2000
Springer
The article contributes to the quest to relate global data on brain and behavior (e.g. from PET, Positron Emission Tomography, and fMRI, functional Magnetic Resonance Imaging) to ...