95 search results - page 6 / 19 » Infinite streams in Java |
SSDBM
2006
IEEE
14 years 1 months ago
2006
IEEE
A variety of real-world applications requires a meaningful online analysis of transient data streams. An important building block of many analysis tasks is the characterization of...
CIE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
EDOC
2003
IEEE
14 years 25 days ago
2003
IEEE
Large-scale information processing environments must rapidly search through massive streams of raw data to locate useful information. These data streams contain textual and numeri...
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...