Sciweavers

5740 search results - page 430 / 1148
» Dynamic Distributed BackJumping
Sort
View
POPL
1992
ACM
15 years 11 months ago
Semantic Foundations of Jade
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
Martin C. Rinard, Monica S. Lam
CSEE
2006
Springer
15 years 10 months ago
SimVBSE: Developing a Game for Value-Based Software Engineering
The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
Apurva Jain, Barry W. Boehm
DALT
2006
Springer
15 years 10 months ago
When Agents Communicate Hypotheses in Critical Situations
This paper discusses the problem of efficient propagation of uncertain information in dynamic environments and critical situations. When a number of (distributed) agents have only ...
Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson
ECTEL
2006
Springer
15 years 10 months ago
Language Technology for eLearning
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...
Paola Monachesi, Lothar Lemnitzer, Kiril Ivanov Si...
NSDI
2008
15 years 9 months ago
The Heisenbot Uncertainty Problem: Challenges in Separating Bots from Chaff
In this paper we highlight a number of challenges that arise in using crawling to measure the size, topology, and dynamism of distributed botnets. These challenges include traffic...
Chris Kanich, Kirill Levchenko, Brandon Enright, G...