411 search results - page 15 / 83 » Algebraic Imperative Specifications |
125
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
Several query languages have been proposed for managing data streams in modern monitoring applications. Continuous queries expressed in these languages usually employ windowing con...
121
click to vote
TASE
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...
IJCINI
2007
14 years 11 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
LFP
1994
15 years 1 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
114
click to vote
CUZA
2002
14 years 11 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...