596 search results - page 33 / 120 » A Software Engineering Framework for Context-Aware Pervasive... |
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
FUZZY
2004
Springer
13 years 11 months ago
2004
Springer
- The UPnP(Universal Plug and Play) architecture offers pervasive peer-to-peer network connectivity of intelligent appliances in dynamic distributed computing environment. This pap...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents DARX, our framework for building applications that provide adaptive fault tolerance. It relies on the fact that multi-agent platforms constitute a very strong ...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
HPCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...