8492 search results - page 640 / 1699 » Modelling and Design of Multi-Agent Systems |
195
click to vote
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
202
click to vote
AAAI
2004
15 years 8 months ago
2004
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
158
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
207
click to vote
CPE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
224
Voted
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...