348 search results - page 27 / 70 » Behaviour Model Synthesis from Properties and Scenarios |
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
ENTCS
2007
13 years 7 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
ICWS
2009
IEEE
13 years 5 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
AISB
2008
Springer
13 years 9 months ago
2008
Springer
Imagination is generally regarded as a very powerful and advanced cognitive ability. In this paper we propose a modelling framework for what we call functional imagination: the ab...
SPIN
2001
Springer
13 years 12 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...