652 search results - page 57 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
CAD
2005
Springer
14 years 10 months ago
2005
Springer
This paper describes an approach at Volvo Truck Corporation where geometry users' requirements are utilised to define configurable product views. The paper is derived from a ...
ACTAC
2008
14 years 10 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
QEST
2010
IEEE
14 years 8 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
108
click to vote
CIDR
2007
14 years 11 months ago
2007
Biologists are increasingly using databases for storing and managing their data. Biological databases typically consist of a mixture of raw data, metadata, sequences, annotations,...
117
click to vote
WSC
2004
14 years 11 months ago
2004
We consider the problem of estimating the small probability that a function of a finite number of random variables exceeds a large threshold. Each input random variable may be lig...