2468 search results - page 280 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
127
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Overhearing is gaining attention as a generic method for cooperative monitoring of distributed, open, multiagent systems. It involves monitoring the routine conversations of agent...
145
click to vote
IACR
2011
14 years 3 months ago
2011
Although malleability is undesirable in traditional digital signatures, schemes with limited malleability properties enable interesting functionalities that may be impossible to o...
160
click to vote
IPSN
2010
Springer
15 years 10 months ago
2010
Springer
Motion capture using wireless inertial measurement units (IMUs) has many advantages over other techniques. Achieving accurate tracking with IMUs presents a processing challenge, e...
157
click to vote
TIM
2011
14 years 11 months ago
2011
—Estimating latency between the hosts in the Internet can play a significant role in the improvement of the performance of many services that use latency among hosts to make rout...
183
click to vote
TITB
2010
14 years 11 months ago
2010
Mobile sensor-based systems are emerging as promising platforms for healthcare monitoring. An important goal of these systems is to extract physiological information about the subj...