394 search results - page 57 / 79 » Composing Specifications |
FMSD
2006
14 years 11 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
NAR
2006
14 years 11 months ago
2006
The Onto-Tools suite is composed of an annotation database and eight complementary, web-accessible data mining tools: Onto-Express, Onto-Compare, Onto-Design, Onto-Translate, Onto...
107
click to vote
AROBOTS
2004
14 years 11 months ago
2004
In this paper, we introduce a self-assembling and self-organizing artifact, called a swarm-bot, composed of a swarm of s-bots, mobile robots with the ability to connect to and to ...
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Web-based applications are typically required to be highly customizable and configurable. New application requirements have to be introduced rapidly, often without stopping the ru...
116
click to vote
SIGIR
2002
ACM
14 years 11 months ago
2002
ACM
In this paper we describe a Cross Document Summarizer XDoX designed specifically to summarize large document sets (50-500 documents and more). Such sets of documents are typically...