4340 search results - page 730 / 868 » Formal Methods and Cryptography |
144
click to vote
ERLANG
2006
ACM
16 years 10 days 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...
189
click to vote
JCDL
2006
ACM
16 years 9 days 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 ...
167
click to vote
SIGCOMM
2006
ACM
16 years 9 days 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...
168
click to vote
WIKIS
2006
ACM
16 years 9 days 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...
164
click to vote
WIKIS
2006
ACM
16 years 9 days 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 ...