Sciweavers

938 search results - page 23 / 188
» Mathematical Modelling the Ethnic System
Sort
View
ICALT
2006
IEEE
15 years 11 months ago
Evaluation of a Queuing Theory and Systems Modeling Course Based on UML
This paper presents how a new teaching method in the way that a queuing theory and systems modeling or simulation course can be done, was evaluated by the teachers and the student...
Athanasios Perdos, Alexander Chatzigeorgiou, Georg...
ACSD
2001
IEEE
83views Hardware» more  ACSD 2001»
15 years 9 months ago
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...
PPAM
2007
Springer
15 years 11 months ago
Implementing Commodity Flow in an Agent-Based Model E-Commerce System
Abstract. In our work we are developing a complete agent-based ecommerce system. Thus far we have been focusing on interactions between clients and shops (C2B relationships). In th...
Maria Ganzha, Maciej Gawinecki, Pawel Kobzdej, Mar...
EMSOFT
2003
Springer
15 years 10 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
PPAM
2007
Springer
15 years 11 months ago
A Grid-Enabled Lattice-Boltzmann-Based Modelling System
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
Gérard Dethier, Cyril Briquet, Pierre March...