2108 search results - page 407 / 422 » An Operational Semantics for Stateflow |
129
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper presents an approach to integrate publish/subscribe semantics with on-demand multicast in wireless ad hoc networks, providing dynamic group communication with fine-gra...
105
click to vote
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
The current boom of the Web is associated with the revenues originated from on-line advertising. While search-based advertising is dominant, the association of ads with a Web page...
128
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
112
Voted
CCS
2005
ACM
15 years 7 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
141
Voted
CCS
2005
ACM
15 years 7 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...