10159 search results - page 253 / 2032 » System Design Validation Using Formal Models |
146
click to vote
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
149
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...
144
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
WSC
2000
15 years 4 months ago
2000
This paper describes a recently completed project involving the development of simulation models for the new international terminal at Istanbul Ataturk Airport, Istanbul, Turkey. ...
135
click to vote
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...