1146 search results - page 47 / 230 » Semantics of Data Streams and Operators |
161
click to vote
FOSSACS
2003
Springer
15 years 11 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...
141
click to vote
CHARME
1999
Springer
15 years 10 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...
148
click to vote
POLICY
2007
Springer
16 years 2 days 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...
212
click to vote
MM
1994
ACM
15 years 10 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...
145
click to vote
NOSSDAV
2004
Springer
15 years 11 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...