4340 search results - page 730 / 868 » Formal Methods and Cryptography |
123
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
163
click to vote
JCDL
2006
ACM
15 years 10 months ago
2006
ACM
Document clustering has been used for better document retrieval, document browsing, and text mining in digital library. In this paper, we perform a comprehensive comparison study ...
137
Voted
SIGCOMM
2006
ACM
15 years 10 months ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
139
Voted
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...
134
Voted
WIKIS
2006
ACM
15 years 10 months ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...