2678 search results - page 428 / 536 » Operational Semantics of Transactions |
125
Voted
SARA
2009
Springer
15 years 6 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
114
click to vote
IDEAS
2000
IEEE
15 years 6 months ago
2000
IEEE
Today many applications routinely generate large quantities of data. The data often takes the form of (time) series, or more generally streams, i.e. an ordered sequence of records...
146
click to vote
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
111
click to vote
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
112
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...