12289 search results - page 2141 / 2458 » computing 2006 |
179
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we describe an innovative infrastructure to support student participation and collaboration and help the instructor manage large or distance classrooms using multia...
142
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Decentralized partially observable Markov decision processes (DEC-POMDPs) form a general framework for planning for groups of cooperating agents that inhabit a stochastic and part...
145
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper studies scalable data delivery algorithms in mobile ad hoc sensor networks with node and link failures. Many algorithms have been developed for data delivery and fusion...
130
Voted
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
168
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...