8953 search results - page 1405 / 1791 » Parallel Query Processing |
127
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
In this work, a new type of collaborative learning activity is proposed in order to enable students to explore and understand information in highly mobile situations. We call this ...
124
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The sensor reports from a wireless sensor network are often used extensively in the decision making process in many systems and applications. Hence, classifying real and ...
136
click to vote
FCT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...
150
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
133
click to vote
SSS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...