8492 search results - page 444 / 1699 » Modelling and Design of Multi-Agent Systems |
187
click to vote
ENTCS
2010
15 years 7 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
192
click to vote
DATE
2005
IEEE
16 years 17 days ago
2005
IEEE
Assessing IC manufacturing process fluctuations and their impacts on IC interconnect performance has become unavoidable for modern DSM designs. However, the construction of parame...
178
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
168
click to vote
WSC
2001
15 years 8 months ago
2001
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
197
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...