1123 search results - page 52 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
126
click to vote
PERVASIVE
2008
Springer
14 years 11 months ago
2008
Springer
In energy constrained wireless sensor networks, energy conservation techniques are to be applied in order to maximize the system lifetime. We tackle the problem of increasing netw...
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— The wireless sensor network is an emerging technology that may greatly facilitate human life by providing ubiquitous sensing, computing, and communication capability. H...
101
click to vote
ISADS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper discusses measures to make a distributed system based on the Time-Triggered Architecture resistant to arbitrary node failures. To achieve this, the presented approach i...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...