6355 search results - page 943 / 1271 » From Logic to Games |
173
click to vote
ECSA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
189
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
177
click to vote
CONSTRAINTS
2008
15 years 6 months ago
2008
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of...
199
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...