10275 search results - page 18 / 2055 » Case Studies of Autonomy |
101
click to vote
ICSM
2008
IEEE
15 years 6 months ago
2008
IEEE
We wish to investigate how structural design principles are used in practice, in order to assess the utility and relevance of such principles to the maintenance of large, complex,...
ICALT
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes how we address the different steps proposed in the workshop “Comparing Educational Modeling Languages on a case study” with LDL and the associated infrast...
ASM
2000
ASM
15 years 4 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
ENTCS
2006
14 years 11 months ago
2006
This paper is a case study in combining theorem provers. We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HO...