28244 search results - page 67 / 5649 » System Design for Flexibility |
ICDIM
2010
IEEE
13 years 8 months ago
2010
IEEE
We present a risk management framework which allows to reason about and manage risk for role based access control systems. The framework expresses essential characteristics of risk...
AIA
2007
13 years 11 months ago
2007
This paper describes SPMED, a system for robust and accurate linguistic parsing of medical documents which is used in several industrial products. The basic design criterion of th...
AVI
2000
13 years 11 months ago
2000
In various circumstances, it is possible to arrive at the need to specify sequences of operations that a "machine" has to perform to achieve a purpose. This paper will p...
ENTCS
2008
13 years 10 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
IFIP
1992
Springer
14 years 2 months ago
1992
Springer
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...