7694 search results - page 824 / 1539 » An Implementation of an Applicative File System |
222
click to vote
ISSRE
2008
IEEE
16 years 2 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
207
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
169
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
206
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose and evaluate a novel approach for automatic parallelization. The approach uses traces as units of parallel work. We discuss the benefits and challenges of the use of t...
178
click to vote
IEEEARES
2007
IEEE
16 years 1 months ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...