5550 search results - page 380 / 1110 » Different Approaches to Proof Systems |
166
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
173
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
215
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
172
click to vote
WORDS
2005
IEEE
16 years 13 days ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...
176
click to vote
SIGIR
2004
ACM
16 years 8 days ago
2004
ACM
Forming test collection relevance judgments from the pooled output of multiple retrieval systems has become the standard process for creating resources such as the TREC, CLEF, and...