537 search results - page 32 / 108 » A threat-driven approach to modeling and verifying secure so... |
POPL
2005
ACM
14 years 8 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
OOPSLA
2000
Springer
13 years 11 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
FLAIRS
2006
13 years 9 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
ISCA
2011
IEEE
12 years 11 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
LADC
2007
Springer
14 years 1 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...