8492 search results - page 101 / 1699 » Modelling and Design of Multi-Agent Systems |
130
Voted
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
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 ...
128
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
125
Voted
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...
132
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present, through simulations of the coffee market of the state of Veracruz, how emergence of specialized roles in participatory simulations could be used to desi...
137
Voted
TC
1998
15 years 3 months ago
1998
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...