5384 search results - page 72 / 1077 » Open Standards Requirements |
104
click to vote
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...
111
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
Over the past decade, there has been a lot of work in developing middleware for integrating and automating enterprise business processes. Today, with the growth in e-commerce and ...
150
click to vote
SIGARCH
2008
15 years 5 months ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...
133
Voted
RE
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
137
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...