10908 search results - page 392 / 2182 » Requirements Engineering Tasks |
240
click to vote
VSTTE
2012
Springer
13 years 11 months ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
129
click to vote
ECLIPSE
2006
ACM
15 years 10 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
197
click to vote
SIES
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
155
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
108
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Flying has an advantage when compared to ground based locomotion, as it simplifies the task of overcoming obstacles and allows for rapid coverage of an area while also providi...