1054 search results - page 85 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
126
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
146
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
124
click to vote
SI3D
1999
ACM
15 years 8 months ago
1999
ACM
We examine a rendering system that interactively ray traces an image on a conventional multiprocessor. The implementation is “brute force” in that it explicitly traces rays th...
117
click to vote
SIGDOC
2009
ACM
15 years 10 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
142
click to vote
AMAST
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...