4543 search results - page 225 / 909 » Interactive Distributed Configuration |
123
click to vote
MC
2008
15 years 4 months ago
2008
Field studies show that in many learning settings paper has intrinsic advantages over electronic documents. In this paper we present concepts for the collaborative annotation and ...
119
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Although cooperation generally increases the amount of resources available to a community of nodes, thus improving individual and collective performance, it also allows for the...
125
click to vote
HPCA
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper describes the first infrastructure for integrated studies of the performance and thermal behavior of storage systems. Using microbenchmarks running on this infrastructu...
138
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
116
Voted
ICEIS
2005
IEEE
15 years 9 months ago
2005
IEEE
: The CEDRIC and the IRCAM conduct since 2002 a project entitled "distributed orchestra" which proposes to coordinate on a network the actors of a musical orchestra (musi...