6978 search results - page 280 / 1396 » Reframing Requirements Analysis |
129
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
220
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
Overlapping genes (encoded on the same DNA strand but in different frames) are thought to be rare and, therefore, were largely neglected in the past. In a test set of 800 viruses ...
158
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Automated negotiation has attracted growing interest within fields such as e-business, multi-agent systems, and web services. Nevertheless, a majority of automated negotiation res...
193
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
158
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Many automated static analysis (ASA) tools have been developed in recent years for detecting software anomalies. The aim of these tools is to help developers to eliminate software...