5775 search results - page 99 / 1155 » A Rationale-based Analysis Tool |
165
click to vote
IVS
2007
15 years 6 months ago
2007
Understanding the spatial and temporal characteristics of individual and group behavior in social networks is a critical component of visual tools for intelligence analysis, emerg...
149
click to vote
KBSE
2008
IEEE
16 years 22 days ago
2008
IEEE
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...
157
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
157
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
The scaling of CMOS technology into the nanometer era enables the fabrication of highly integrated systems, which increasingly contain analog and/or RF parts. However, scaling into...
145
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...