21 search results - page 1 / 5 » A Distributed High Assurance Reference Monitor |
ISW
2004
Springer
13 years 9 months ago
2004
Springer
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
Developers of highly configurable performanceintensive software systems often use a type of in-house performance-oriented "regression testing" to ensure that their modif...
CODASPY
2012
12 years 23 hour ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
EUC
2007
Springer
13 years 10 months ago
2007
Springer
Networked embedded systems present unique challenges for system designers composing distributed applications with dyanmic, real-time, and resilience requirements. We consider the ...
LSGRID
2004
Springer
13 years 9 months ago
2004
Springer
High-throughput proteome annotation refers to the activity of extracting information from all proteins in a particular organism using bioinformatics software on a high performance ...