290 search results - page 24 / 58 » A Metamodeling Approach for Reasoning about Requirements |
102
click to vote
WCRE
2003
IEEE
15 years 2 months ago
2003
IEEE
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...
IJAR
2010
14 years 8 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
ICRA
2000
IEEE
15 years 1 months ago
2000
IEEE
This paper presents an algorithm for simultaneous localization and map building for a mobile robot moving in an unknown environment. The robot can measure only the bearings to ide...
100
click to vote
AIEDAM
2000
14 years 9 months ago
2000
The ability of a CAD system to perceive a three-dimensional model depicted in a single freehand sketch presents the practical possibility of bringing numerous established analysis...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...