4586 search results - page 559 / 918 » Computing stable models in parallel |
153
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
123
click to vote
ICPADS
2006
IEEE
15 years 11 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...
175
click to vote
PAMI
2010
15 years 3 months ago
2010
—We propose a combinatorial solution to determine the optimal elastic matching of a deformable template to an image. The central idea is to cast the optimal matching of each temp...
169
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
141
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
This paper proposes a way to realize the idea of calm computing by adding a dynamic task model into the pervasive computing environment. This task model contains information about...