29082 search results - page 403 / 5817 » The Time-Triggered Model of Computation |
178
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
This paper shows that flexibility of workflow executions, i.e., the ability to deviate from a given model on the fly and during execution, is crucial for a wide applicability of w...
172
click to vote
ECIS
2004
15 years 8 months ago
2004
This article analyzes the impact of a computer simulation (business game) on the users' perceived learning. The theoretical model developed in this paper is derived from the ...
172
click to vote
IWFM
2003
15 years 8 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
271
click to vote
IANDC
2008
15 years 6 months ago
2008
Abstract. Cellular Automata can be considered discrete dynamical systems and at the same time a model of parallel computation. In this paper we investigate the connections between ...
198
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...