11580 search results - page 1983 / 2316 » Communication vs. Computation |
174
click to vote
IBERAMIA
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we describe MRSCL Geometry a collaborative educational activity that explores the use of robotic technology and wirelessly connected Pocket PCs as tools for teaching ...
186
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
178
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
We have upgraded the Conceptual Programming Environment (CP) from a single standalone application to a set of component modules to increase flexibility of the environment and to a...
167
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
175
click to vote
ICICS
2004
Springer
16 years 3 days ago
2004
Springer
Fail-stop signature (FSS) schemes are important primitives because in a fail-stop signature scheme the signer is protected against unlimited powerful adversaries as follows: Even i...