2025 search results - page 247 / 405 » Minimal-Cut Model Composition |
157
Voted
FMCAD
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
121
click to vote
WSC
2007
15 years 7 months ago
2007
Primary care providers (PCPs) provide the majority of care patients receive during their lifetime. We consider the problem of determining the size and composition of physician pan...
142
click to vote
WSC
2008
15 years 7 months ago
2008
Design Of Experiments (DOE) is needed for experiments with real-life systems, and with either deterministic or random simulation models. This contribution discusses the different ...
138
click to vote
PTS
2008
15 years 6 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
153
click to vote
ISICT
2003
15 years 6 months ago
2003
The notion of application – a single, bounded piece of functionality presented to users – goes almost unquestioned. However in the context of highly adaptive and ambient system...