11324 search results - page 2104 / 2265 » Coordination Models and Languages |
163
click to vote
CP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The SEQUENCE constraint is useful in modelling car sequencing, rostering, scheduling and related problems. We introduce half a dozen new encodings of the SEQUENCE constra...
185
click to vote
EPIA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
161
click to vote
FROCOS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
158
click to vote
FSEN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
176
click to vote
ICALP
2007
Springer
16 years 19 days ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...