307 search results - page 47 / 62 » On the Integrity of Lightweight Checkpoints |
WSNA
2003
ACM
14 years 1 months ago
2003
ACM
The MANTIS MultimodAl system for NeTworks of In-situ wireless Sensors provides a new multithreaded embedded operating system integrated with a general-purpose single-board hardwar...
ISWC
2002
IEEE
14 years 1 months ago
2002
IEEE
We describe the system design of “Smart Kindergarten”, a smart problem solving environment for early childhood education. Two crucial building blocks that make up Smart Kinder...
RTAS
2002
IEEE
14 years 1 months ago
2002
IEEE
Large-scale wireless sensor networks represent a new generation of real-time embedded systems with significantly different communication constraints from traditional networked sys...
SIGSOFT
2000
ACM
14 years 26 days ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
VRML
1998
ACM
14 years 22 days ago
1998
ACM
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...