314 search results - page 58 / 63 » Generating Path Conditions for Timed Systems |
103
click to vote
IMC
2010
ACM
14 years 7 months ago
2010
ACM
Despite many years of work in wireless mesh networks built using 802.11 radios, the performance and behavior of these networks in the wild is not well-understood. This lack of und...
120
click to vote
PODC
2012
ACM
12 years 12 months ago
2012
ACM
The goal of Byzantine Broadcast (BB) is to allow a set of fault-free nodes to agree on information that a source node wants to broadcast to them, in the presence of Byzantine faul...
EWSPT
2003
Springer
15 years 2 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
132
click to vote
SUTC
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
ACISICIS
2009
IEEE
15 years 25 days ago
2009
IEEE
A PCNNs-based square-and-triangle-template method for binary fingerprint image thinning is proposed. The algorithm is iterative, in which a combined sequential and parallel proces...