948 search results - page 179 / 190 » An Open Architecture for Pervasive Systems |
201
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...
134
click to vote
EWSPT
2003
Springer
15 years 7 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...
108
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
200
Voted
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
133
Voted
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
Multi-Agent Systems are a promising way of dealing with large complex problems. However, it is not yet clear just how much complexity or pre-existing structure individual agents m...