4985 search results - page 553 / 997 » Observation of String-Rewriting Systems |
139
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
Modern teaching tools, such as educational robotics, require new learning environments. The teacher especially needs to be supported in novel ways. Conflative learning environment...
208
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...
183
Voted
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a method for the efficient access to parts of remote files. The efficiency is achieved by using a file format independent compact pattern description, that allows to re...
162
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a decentralized consistency protocol for survivable storage that exploits local data versioning within each storage-node. Such versioning enables the protocol...
167
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...