186 search results - page 25 / 38 » Global consistency checking of distributed models with TReMe... |
134
click to vote
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
—MapReduce has emerged as a popular tool for distributed and scalable processing of massive data sets and is increasingly being used in e-science applications. Unfortunately, the...
103
click to vote
IPMI
2003
Springer
15 years 5 months ago
2003
Springer
A novel method for the segmentation of multiple objects from 3D medical images using inter-object constraints is presented. Our method is motivated by the observation that neighbor...
199
click to vote
POPL
2003
ACM
16 years 2 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
105
click to vote
EUROSYS
2008
ACM
15 years 8 months ago
2008
ACM
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server plat...
164
Voted
GLOBAL
2003
Springer
15 years 5 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...