2558 search results - page 373 / 512 » Model Composition Contracts |
167
click to vote
SNPD
2008
15 years 5 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...
135
click to vote
JAIR
2007
15 years 4 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 ...
130
click to vote
CGF
1999
15 years 4 months ago
1999
Researchers in non-photorealistic rendering have investigated the display of three-dimensional worlds using various display models. In particular, recent work has focused on the m...
131
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
147
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...