2702 search results - page 339 / 541 » Requirements Processes: An Experience Report |
184
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 ...
308
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
172
click to vote
DDECS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
170
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In order to enable intuitive physical interaction with autonomous robots as well as in collaborative multi-user virtual reality and teleoperation systems a deep understanding of h...
265
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we examine the problem of localisation and mapping of an unknown environment using data from a laser range finder. In order to support our method we detect landmark...