3073 search results - page 486 / 615 » Real World Verification |
CJ
2004
13 years 10 months ago
2004
In this paper, we present the design and implementation of Smart Messages, a distributed computing platform for networks of embedded systems based on execution migration. A Smart ...
ALGORITHMICA
2000
13 years 10 months ago
2000
Localization is the process of determining the robot's location within its environment. More precisely, it is a procedure which takes as input a geometric map, a current estim...
CN
2000
13 years 10 months ago
2000
The Stanford Power Browser project addresses the problems of interacting with the World-Wide Web through wirelessly connected Personal Digital Assistants (PDAs). These problems in...
EOR
2000
13 years 10 months ago
2000
This contribution describes a general mixed-integer linear programming model based on a time-indexed formulation covering the relevant features required for the complete supply ch...
ETS
2000
IEEE
2000
IEEE
Using computer-mediated communication to form a knowledge-building community with beginning teachers
13 years 10 months ago
This study investigated how different types of computer-mediated communication (CMC) such as asynchronous forums, synchronous forums and e-mail were used to support an alternative...