4305 search results - page 61 / 861 » Analysing Protocol Implementations |
IJHPCN
2006
13 years 8 months ago
2006
: On-demand routing protocols are widely used in mobile ad hoc networks due to their capability of adjusting to frequent network topology changes within acceptable routing overhead...
ENTCS
2007
13 years 8 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
ESORICS
2012
Springer
11 years 11 months ago
2012
Springer
Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...
RTSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....
ETRA
2000
ACM
14 years 14 days ago
2000
ACM
The process of fixation identification--separating and labeling fixations and saccades in eye-tracking protocols--is an essential part of eye-movement data analysis and can have a...