209 search results - page 23 / 42 » Software Requirements Specification of a University Class Sc... |
ARCS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
DEXAW
1995
IEEE
14 years 2 months ago
1995
IEEE
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
ISLPED
2005
ACM
14 years 4 months ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...
CSFW
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...