Sciweavers

29152 search results - page 211 / 5831
» A Model of Computation for MapReduce
Sort
View
SRDS
2008
IEEE
16 years 28 days ago
Application-Level Recovery Mechanisms for Context-Aware Pervasive Computing
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
Devdatta Kulkarni, Anand Tripathi
SOFSEM
2001
Springer
15 years 11 months ago
Pipelined Decomposable BSP Computers
The class of weak parallel machines is interesting, because it contains some realistic parallel machine models, especially suitable for pipelined computations. We prove that a modi...
Martin Beran
CCS
2010
ACM
15 years 6 months ago
Computational indistinguishability logic
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
Gilles Barthe, Marion Daubignard, Bruce M. Kapron,...
GC
2004
Springer
15 years 10 months ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
PICS
1998
15 years 8 months ago
Computer Graphic Simulation of Light Reflection from Paper
Computer graphic reflection modeling techniques were used to study the surface reflection of paper. Models of the subsurface microstructure of paper were constructed and the refle...
Morgan T. Schramm, Gary W. Meyer