1195 search results - page 183 / 239 » Modeling an Algebraic Stepper |
162
click to vote
FSE
2004
Springer
15 years 11 months ago
2004
Springer
We present a realization of an LFSM that utilizes an LFSR. This is based on a well-known fact from linear algebra. This structure is used to show that a previous attempt at using a...
143
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
166
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
163
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Workflow-centric knowledge distribution mechanisms have been proposed recently by a number of researchers to coordinate the flow of codified knowledge in large organizations. This...
161
click to vote
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...