2269 search results - page 300 / 454 » Query Incentive Networks |
262
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
166
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Anomaly detection for network intrusion detection is usually considered an unsupervised task. Prominent techniques, such as one-class support vector machines, learn a hypersphere ...
152
click to vote
ICDCSW
2009
IEEE
15 years 11 months ago
2009
IEEE
Broadcast of information in wireless sensor networks is an important operation, e.g., for code updates, queries, membership information, etc. In this paper, we analyze and experim...
127
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
143
click to vote
SSDBM
2007
IEEE
15 years 11 months ago
2007
IEEE
The ability to provide reliable in-network storage while balancing the energy consumption of individual sensors is a primary concern when deploying a sensor network. The main conc...