942 search results - page 17 / 189 » Application of Model Driven Techniques for Agent-Based Simul... |
128
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Common Language Infrastructure, or CLI, is a standardized virtual machine, which increasingly becomes popular on a wide range of platforms. In this paper we developed three I/O-in...
151
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
202
click to vote
SC
2005
ACM
15 years 11 months ago
2005
ACM
In contrast to traditional terascale simulations that have known, fixed data inputs, dynamic data-driven (DDD) applications are characterized by unknown data and informed by dynam...
133
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
Modeling fluid flow in a porous medium is a challenging computational problem. It involves highly heterogeneous distributions of porous medium property, various fluid flow char...
138
click to vote
WOLLIC
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...