54 search results - page 8 / 11 » Implementing protocols via declarative event patterns |
CN
2007
14 years 9 months ago
2007
In this paper, we present a new end-to-end protocol, namely Scalable Streaming Video Protocol (SSVP), which operates on top of UDP and is optimized for unicast video streaming app...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
108
click to vote
BROADNETS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstractā A number of events such as hurricanes, earthquakes, power outages can cause large-scale failures in the Internet. These in turn cause anomalies in the interdomain routi...
SCP
2010
14 years 7 months ago
2010
The SPIN model checker and its speciļ¬cation language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
OOPSLA
2005
Springer
15 years 2 months ago
2005
Springer
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...