2106 search results - page 178 / 422 » Operational Semantics for MSC'96 |
147
click to vote
SIGCOMM
2009
ACM
16 years 13 days ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...
179
click to vote
EDOC
2008
IEEE
16 years 12 days ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
165
click to vote
ICDE
2007
IEEE
16 years 7 days ago
2007
IEEE
We present a replication-based approach that enables both fast and reliable stream processing over wide area networks. Our approach replicates stream processing operators in a man...
140
click to vote
ECOWS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specific...
155
click to vote
TARK
2007
Springer
16 years 1 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...