4902 search results - page 151 / 981 » Multi-agent Systems Methodology |
123
click to vote
INFSOF
2002
15 years 4 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
ICEIS
2006
IEEE
15 years 10 months ago
2006
IEEE
121
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
134
click to vote
VRML
1999
ACM
15 years 8 months ago
1999
ACM
This paper describes several methods for using the Virtual Reality Modeling Language (VRML) as the visualization integration technology for manufacturing simulation systems. One o...