4631 search results - page 560 / 927 » Experiences with an Environment Generation System |
187
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
194
click to vote
CSCLP
2005
Springer
16 years 12 days ago
2005
Springer
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
146
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the extention of humanoid's action capability by attatching toe joints. E ectiveness of toe joints is discussed in three aspects. One is utilizing it to ...
164
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
The crew planning problem has been successfully solved on a loosely connected network of workstations (NOW) using advanced computational techniques and efficient communication pat...
192
click to vote
KBSE
1994
IEEE
15 years 11 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...