Sciweavers

3103 search results - page 271 / 621
» Locating Features in Distributed Systems
Sort
View
CONCUR
2008
Springer
15 years 6 months ago
Deriving Structural Labelled Transitions for Mobile Ambients
We present a new labelled transition system (lts) for the ambient calculus on which ordinary bisimilarity coincides with contextual equivalence. The key feature of this lts is that...
Julian Rathke, Pawel Sobocinski
ACMIDC
2009
15 years 8 months ago
Drama prototyping for the design of urban interactive systems for children
In this paper, we present Wi-swing, a case study approach in designing a networked playground for children located in a public garden. The approach adopted in the case study is ba...
Andrea Alessandrini, Antonio Rizzo, Elisa Rubegni
HPDC
1999
IEEE
15 years 8 months ago
PARED: A Framework for the Adaptive Solution of PDEs
We describe our experience using PARED, an object oriented system for the adaptive solution of PDEs in a distributed computing environment. PARED handles selective mesh refinement...
José G. Castaños, John E. Savage
SAC
2003
ACM
15 years 9 months ago
iGrocer- A Ubiquitous and Pervasive Smart Grocery Shopping System
Emerging Smart phones are poised to give a whole new dimension to the way we shop, bank, and go about many of our everyday activities. iGrocer is a smart grocery shopping assistant...
Sangeetha Shekar, Prashant Nair, Abdelsalam Helal
HPCA
2007
IEEE
16 years 4 months ago
Evaluating MapReduce for Multi-core and Multiprocessor Systems
This paper evaluates the suitability of the MapReduce model for multi-core and multi-processor systems. MapReduce was created by Google for application development on data-centers...
Colby Ranger, Ramanan Raghuraman, Arun Penmetsa, G...