56 search results - page 4 / 12 » Complete Monitors for Behavioral Contracts |
SIGECOM
2005
ACM
14 years 1 months ago
2005
ACM
In multi-hop networks, the actions taken by individual intermediate nodes are typically hidden from the communicating endpoints; all the endpoints can observe is whether or not th...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
The wide use of Flash technologies makes the security risks posed by Flash content an increasingly serious issue. Such risks cannot be effectively addressed by the Flash player, w...
DAC
2003
ACM
14 years 8 months ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
OSDI
2004
ACM
14 years 7 months ago
2004
ACM
Detecting network path anomalies generally requires examining large volumes of traffic data to find misbehavior. We observe that wide-area services, such as peerto-peer systems an...
ICAC
2009
IEEE
14 years 2 months ago
2009
IEEE
—The performance of BPEL processes depends on the composing web services. Monitoring web service performance and adapting to changes in service performance are essential for crea...