672 search results - page 78 / 135 » Analysis and applications of timed service protocols |
IMC
2010
ACM
13 years 6 months ago
2010
ACM
The reconvergence of routing protocols in response to changes in network topology can impact application performance. While improvements in protocol specification and implementati...
ICECCS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a framework for a wireless health monitoring system within a smart home using ZigBee technology. Vital signals are collected and processed using a 3-tiered architecture...
MM
2000
ACM
14 years 1 months ago
2000
ACM
In highly interactive multimedia applications startup latency is significant, and may negatively impact performance and Quality of Service (QoS). To avoid this, our approach is t...
SDMW
2004
Springer
14 years 2 months ago
2004
Springer
With the increasing use of web services, many new challenges concerning data security are becoming critical. Data or applications can now be outsourced to powerful remote servers, ...