914 search results - page 91 / 183 » Branch and Bound on the Network Model |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Peer-to-Peer (P2P) systems provide decentralization, self-organization, scalability and failure-resilience, but suffer from high worst-case latencies. Researchers have ...
ACSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...
FLAIRS
2003
14 years 11 months ago
2003
Asthma is a distressing disease, affecting up to 7% of the French population and causing considerable morbidity and mortality. A medical decision support system such can help phys...
176
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Sensor networks and other distributed information systems (such as the Web) must frequently access data that has a high per-attribute acquisition cost, in terms of energy, latency...