128 search results - page 25 / 26 » Forward Analysis of Depth-Bounded Processes |
ICTAI
2007
IEEE
14 years 27 days ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
SENSYS
2005
ACM
14 years 4 days ago
2005
ACM
This paper presents the Simple Packet Combining (SPaC) error-correction scheme for wireless sensor networks. Nodes buffer corrupt packets, and when two or more corrupt versions o...
ICSNW
2004
Springer
13 years 12 months ago
2004
Springer
Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destin...
HICSS
2003
IEEE
13 years 12 months ago
2003
IEEE
The underlying structure of why and how consumers value reliability of electric service is explored, together with the technological options and cost characteristics for the provi...
CORR
2007
Springer
13 years 6 months ago
2007
Springer
—The problem of security against packet timing based traffic analysis in wireless networks is considered in this work. An analytical measure of “anonymity” of routes in eave...