3564 search results - page 494 / 713 » Evaluating a Formal Modelling Language |
111
Voted
INTERACTION
2009
ACM
15 years 3 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
75
Voted
ATAL
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. The collaboration between two intelligent agents can be greatly enhanced if a third agent, who has some understanding of the communication between the first two, interve...
FMCAD
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
118
Voted
ASE
2006
14 years 11 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
100
click to vote
ENTCS
2007
14 years 11 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...