5255 search results - page 917 / 1051 » Formal Methods for Privacy |
131
click to vote
SIGCOMM
2006
ACM
15 years 9 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...
130
click to vote
WIKIS
2006
ACM
15 years 9 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...
118
click to vote
WIKIS
2006
ACM
15 years 9 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 ...
135
click to vote
ASYNC
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
124
click to vote
CSB
2005
IEEE
15 years 9 months ago
2005
IEEE
Phylogenies—the evolutionary histories of groups of organisms—are one of the most widely used tools throughout the life sciences, as well as objects of research within systema...