395 search results - page 40 / 79 » Program abstractions for behaviour validation |
101
click to vote
CBSE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
97
Voted
CLIMA
2007
15 years 1 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
98
Voted
ENTCS
2007
15 years 10 days ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
113
Voted
IFL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
77
Voted
ICALP
1989
Springer
15 years 4 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...