2306 search results - page 330 / 462 » Modeling issues in a shipping system |
ASM
2010
ASM
14 years 15 days ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
IADIS
2004
13 years 10 months ago
2004
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
SEBD
1997
13 years 10 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
WSC
2000
13 years 10 months ago
2000
The term Enterprise Simulation (ES) is gaining acceptance among simulation practitioners. It is coming to represent certain tangible attributes, and its benefits seem apparent in ...
EUROSSC
2008
Springer
13 years 10 months ago
2008
Springer
Equipment used in the construction domain is often hired in order to reduce cost and maintenance overhead. The cost of hire is dependent on the time period involved and does not ta...