29147 search results - page 11 / 5830 » System Modeling Resurrected |
GEOINFORMATICA
1998
14 years 9 months ago
1998
An approach to an interoperable object-oriented GIS-framework for atmospheric modeling (AtmoGIS), which can be used to implement integrated information systems, is presented. The ...
JCSC
1998
14 years 9 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
TPDS
1998
14 years 9 months ago
1998
- Systems of heterogeneous parallel processing are studied such as arising in parallel programs executed on distributed systems. A lower and an upper bound model are suggested to o...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...