1146 search results - page 47 / 230 » Semantics of Data Streams and Operators |
127
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding op...
111
click to vote
CHARME
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
114
click to vote
POLICY
2007
Springer
15 years 10 months ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
190
click to vote
MM
1994
ACM
15 years 7 months ago
1994
ACM
We have designed, built, and analyzed a distributed parallel storage system that will supply image streams fast enough to permit multi-user, "real-time", video-like appl...
122
click to vote
NOSSDAV
2004
Springer
15 years 9 months ago
2004
Springer
We present a low-overhead media streaming system, called SRMS (Scalable Resilient Media Streaming) that can be used to scalably deliver streaming data to a large group of receiver...