77016 search results - page 5 / 15404 » Modeling |
BIRTHDAY
2004
Springer
14 years 23 days ago
2004
Springer
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
CAISE
2004
Springer
14 years 23 days ago
2004
Springer
This paper presents a Unified Enterprise Modeling Language (UEML) and a set of mappings which support translating models represented under an Enterprise Modeling Language into anot...
WSC
2004
13 years 8 months ago
2004
This paper describes the creation of a new analytical modeling capability by bringing together the Naval Simulation System (NSS) for sea strike and COMBATXXI for littoral and land...
WSC
1996
13 years 8 months ago
1996
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...
ISSE
2010
13 years 5 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...