5210 search results - page 314 / 1042 » Tools for Distributed Facilitation |
194
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The DOPE project (Drug Ontology Project for Elsevier) is driven by the need to access multiple information sources through a single interface. In this paper, we describe how DOPE ...
124
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
We introduce a class of Paxos algorithms called Vertical Paxos, in which reconfiguration can occur in the middle of reaching agreement on an individual state-machine command. Vert...
130
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
We developed an importer from both HOL 4 and HOL-light into Isabelle/HOL. The importer works by replaying proofs within Isabelle/HOL that have been recorded in HOL 4 or HOL-light a...
172
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Business processes used in networked business are often large and complex, which makes them difficult to manage and change. In this paper we address this lack of flexibility by pr...
192
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider an important performance measure of wireless sensor networks, namely, the least number of nodes, N, required to facilitate routing between any pair of nodes, allowi...