7766 search results - page 1372 / 1554 » Testing Nondeterminate Systems |
SIAMCOMP
2002
13 years 10 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
SIGIR
2002
ACM
13 years 10 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...
TNN
1998
13 years 10 months ago
1998
—Adaptive resonance theory (ART) describes a family of self-organizing neural networks, capable of clustering arbitrary sequences of input patterns into stable recognition codes....
TSE
1998
13 years 10 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
TSMC
1998
13 years 10 months ago
1998
—Knowledge representation is one of important factors that determine human performance on cognitive tasks. Due to different levels of experience, different groups of people may d...