3130 search results - page 430 / 626 » Design Correctness of Digital Systems |
176
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
332
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Wikis have proved enormously successful as a means to collaborate in the creation and publication of textual information. At the same time, a large number of curated databases hav...
178
click to vote
HT
2004
ACM
16 years 7 hour ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
182
click to vote
MOBICOM
2004
ACM
16 years 4 hour ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...
169
click to vote
SIGMETRICS
2004
ACM
16 years 1 hour ago
2004
ACM
Most state-of-the-art commercial storage virtualization systems focus only on one particular storage attribute, capacity. This paper describes the design, implementation and evalu...