2025 search results - page 284 / 405 » Minimal-Cut Model Composition |
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a model of the co-evolution of transmissible disease and a population of non-randomly mixed susceptible agents. The presence of the disease elements i...
ICSR
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a feature modelling technique aimed at modelling the software assets behind a product family. The proposed technique is distinctive in five respects. First, it...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
SNPD
2008
13 years 10 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
JAIR
2007
13 years 9 months ago
2007
Numerous formalisms and dedicated algorithms have been designed in the last decades to model and solve decision making problems. Some formalisms, such as constraint networks, can ...