1814 search results - page 35 / 363 » D-Stampede: Distributed Programming System for Ubiquitous Co... |
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
IPPS
1998
IEEE
14 years 2 days ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
Research in context-aware computing has produced a number of application prototypes, frameworks, middlewares and models for describing context. However, development of ubiquitous ...
PDCAT
2004
Springer
14 years 1 months ago
2004
Springer
In Ubiquitous computing environment the mobile devices such as PDAs necessarily connect to remote storage servers. We present an iSCSI caching system that localizes iSCSI target to...
CHI
1999
ACM
14 years 4 days ago
1999
ACM
We present TouchCounters, an integrated system of electronic modules, physical storage containers, and shelving surfaces for the support of collaborative physical work. Through ph...