2467 search results - page 344 / 494 » Finite State Machines |
111
click to vote
SISW
2005
IEEE
15 years 6 months ago
2005
IEEE
Protecting sensitive files from a compromised system helps administrator to thwart many attacks, discover intrusion trails, and fast restore the system to a safe state. However, ...
121
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
114
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
Heterogeneous computing systems composed of interconnected machines with varied computational capabilities often operate in environments where there may be sudden machine failures...
100
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
104
Voted
ASM
2004
ASM
15 years 6 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...