4211 search results - page 119 / 843 » A formal approach to MASQ |
111
Voted
AO
2006
15 years 25 days ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
92
Voted
IJAR
2007
15 years 21 days ago
2007
This paper discusses some aspects of fuzzy random variables obtained by propagating uncertainty in risk analysis when some input parameters are stochastic, while others are determ...
113
Voted
VIROLOGY
2008
15 years 20 days ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
138
Voted
FTRTFT
1992
Springer
15 years 4 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
89
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...