3799 search results - page 336 / 760 » An Engineering Approach to Formal Methods |
179
click to vote
ICSM
1997
IEEE
15 years 11 months ago
1997
IEEE
Software evolution is the most costly and time consuming software development activity. Yet software engineering research is predominantly concerned with initial development. MORA...
165
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents a new decentralized method for selecting visual landmarks in a structured environment. Different images, issued from the different places, are analyze...
166
click to vote
COCO
2003
Springer
15 years 12 months ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
198
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
170
click to vote
ECML
2007
Springer
16 years 28 days ago
2007
Springer
A general game player is an agent capable of taking as input a description of a game’s rules in a formal language and proceeding to play without any subsequent human input. To do...