823 search results - page 152 / 165 » Context Adaptive Self-configuration System |
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
107
click to vote
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
EWSPT
2003
Springer
15 years 2 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
89
Voted
CASES
2005
ACM
14 years 11 months ago
2005
ACM
In Simultaneous Multithreaded (SMT) architectures most hardware resources are shared between threads. This provides a good cost/performance trade-off which renders these architec...
102
click to vote
RTAS
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—Wireless sensor networks are evolving from dedicated application-specific platforms to integrated infrastructure shared by multiple applications. Shared sensor networks...