1432 search results - page 210 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
128
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
264
click to vote
AAAI
2012
13 years 6 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...
143
click to vote
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
165
click to vote
JCC
2010
15 years 2 months ago
2010
Molecular dynamics (MD) simulation involves solving Newton’s equations of motion for a system of atoms, by calculating forces and updating atomic positions and velocities over a...
147
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...