4799 search results - page 724 / 960 » Model Based Requirements Engineering for Embedded Software |
144
click to vote
ISSTA
2006
ACM
16 years 14 days ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...
172
click to vote
SEFM
2005
IEEE
16 years 3 days 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...
174
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
191
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...
160
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
We propose the concept of research trails to help web users create and reestablish context across fragmented research processes without requiring them to explicitly structure and ...