2520 search results - page 189 / 504 » Model-checking behavioral programs |
190
click to vote
GECCO
2009
Springer
16 years 28 days ago
2009
Springer
We investigate the dynamics of trader behaviors using a co-evolutionary genetic programming system to simulate a double-auction market. The objective of this study is twofold. Fir...
128
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
177
click to vote
SOFSEM
2007
Springer
16 years 14 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
197
click to vote
CCGRID
2006
IEEE
16 years 13 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
212
click to vote
ECMDAFA
2005
Springer
15 years 12 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...