Sciweavers

968 search results - page 113 / 194
» The Molen Programming Paradigm
Sort
View
PERCOM
2006
ACM
15 years 4 months ago
Operating System Support for Dynamic Code Loading in Sensor Networks
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...
Stefan Beyer, Robert Taylor, Ken Mayes
CSUR
2000
69views more  CSUR 2000»
15 years 4 months ago
The framework approach for constraint satisfaction
: Constraint satisfaction programming (CSP) is a powerful paradigm for solving complex combinatorial problems, which has gained a lot of attention recently. Putting the power of co...
Pierre Roy, Anne Liret, François Pachet
IFIP
2010
Springer
15 years 2 months ago
Active Ageing Roadmap - A Collaborative Networks Contribution to Demographic Sustainability
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...
Luis M. Camarinha-Matos, Hamideh Afsarmanesh
EMSOFT
2010
Springer
15 years 2 months ago
A marketplace for cloud resources
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, T...
135
Voted
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
15 years 2 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer