673 search results - page 60 / 135 » A Model Checker for AADL |
126
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
132
Voted
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
152
Voted
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
99
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— In this paper we present a multi-agent coordination algorithm suitable for systems with aircraft-like kinematic constraints. A model of a system of input-constrained no...
137
Voted
ICSOC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...