137 search results - page 26 / 28 » A Practical Formal Model for Safety Analysis in Capability-B... |
ECAL
1995
Springer
13 years 10 months ago
1995
Springer
Arti cial Life and the more general area of Complex Systems does not have a uni ed theoretical framework although most theoretical work in these areas is based on simulation. This ...
IEEEPACT
2006
IEEE
14 years 19 days ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
INCDM
2010
Springer
13 years 10 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
VIROLOGY
2008
13 years 6 months ago
2008
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...
POPL
1990
ACM
13 years 10 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...