1228 search results - page 11 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
HOLOMAS
2003
Springer
15 years 2 months ago
2003
Springer
Agent Exchange is a virtual trading environment serving as a test bed for experiments with market simulations, trading strategies and auctioning techniques. Agent Exchange is the d...
FTCS
1997
14 years 11 months ago
1997
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
IWLCS
2001
Springer
15 years 2 months ago
2001
Springer
In previous papers we have described the basic elements for building an economic model consisting of a group of artificial traders functioning and adapting in an environment conta...
DSOM
2007
Springer
15 years 3 months ago
2007
Springer
As service providers strive to improve the quality and efficiency of their IT (information technology) management services, the need to adopt a standard set of tools and processes...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...