Sciweavers

446 search results - page 40 / 90
» Export Behaviour Modeling Using EvoNF Approach
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
14 years 11 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
ECAL
2007
Springer
15 years 5 months ago
From Artificial Societies to New Social Science Theory
We identify two distinct themes in social science modelling. One, more specific, approach is that of social simulation which addresses how behaviour of many actors can lead to emer...
Eric Silverman, John Bryden
CONCUR
2004
Springer
15 years 7 months ago
Modular Construction of Modal Logics
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
Corina Cîrstea, Dirk Pattinson
IIWAS
2003
15 years 3 months ago
Agent-based Problem Solving: The Ant Colonies Metaphor
In this paper the analogy between biological swarms and artificial multiagent systems is pointed out. As an example the steps required to model the artificial optimization techniq...
Stefan Wagner 0002, Michael Affenzeller, Ismail Kh...
ICSM
2009
IEEE
15 years 8 months ago
Understanding source package organization using the hybrid model
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
Xinyi Dong, Michael W. Godfrey