29082 search results - page 399 / 5817 » The Time-Triggered Model of Computation |
163
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Skyline queries have gained a lot of attention for multicriteria analysis in large-scale datasets. While existing skyline algorithms have focused mostly on exploiting data dominan...
182
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
158
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...
188
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
In the process of developing Web Based Training (WBT) applications, the Sharable Content Object Reference Model (SCORM) has become the most common eLearning standard making it pos...
203
click to vote
ITS
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. This paper reports our research work in the new field of humancomputer collaborative learning (HCCL). The general architecture of an HCCL is defined. An HCCL system, call...