Sciweavers

360 search results - page 25 / 72
» Towards a programming language for services computing
Sort
View
SAC
2005
ACM
14 years 1 months ago
Supporting e-commerce systems formalization with choreography languages
E-commerce as well as B2B applications are essentially based on interactions between different people and organizations (e.g. industry, banks, customers) that usually exploit the ...
Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gia...
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 7 months ago
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
IFIP
2010
Springer
13 years 6 months ago
ePAL Vision 2020 for Active Ageing of Senior Professionals
In order to enhance the active life of senior professionals, one fundamental challenge is to identify ways to assist promoting the role of elder people within the continuously agei...
Hamideh Afsarmanesh, Simon Samwel Msanjila
ASPLOS
2011
ACM
12 years 11 months ago
Dynamic knobs for responsive power-aware computing
We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static conï¬...
Henry Hoffmann, Stelios Sidiroglou, Michael Carbin...
PLDI
2005
ACM
14 years 1 months ago
Programming ad-hoc networks of mobile and resource-constrained devices
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
Yang Ni, Ulrich Kremer, Adrian Stere, Liviu Iftode