144 search results - page 6 / 29 » How Expressions Can Code for Automata |
101
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
134
click to vote
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
118
Voted
CASC
2010
Springer
14 years 11 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
118
click to vote
BPM
2007
Springer
15 years 6 months ago
2007
Springer
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...
115
Voted
DIGRA
2005
Springer
15 years 5 months ago
2005
Springer
A whole world is presented in front of the eyes of a gamer. This world has shapes and colours. What do colours transmit? Is this considered in digital games? These are the main is...