500 search results - page 80 / 100 » Streaming tree automata |
JNW
2008
13 years 7 months ago
2008
Nowadays, multimedia streaming is a common service on the Internet including both fixed and mobile networks. The RTP protocol is usually used to transfer the media. The RTCP protoc...
NOMS
2008
IEEE
14 years 2 months ago
2008
IEEE
— To support large-scale Internet-based broadcast of live streaming video efficiently in content delivery networks (CDNs), it is essential to implement a cost-effective overlay ...
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. CIRC is an automated circular coinductive prover implemented as an extension of Maude. The circular coinductive technique that forms the core of CIRC is discussed, togeth...
IADIS
2008
13 years 9 months ago
2008
The damage of bankruptcy fraud is substantial. In response, the Dutch Ministry of Justice started a project to reduce the number of bankruptcy fraud cases by increasing the probab...
ENTCS
2008
13 years 7 months ago
2008
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...