29143 search results - page 353 / 5829 » A Sortation System Model |
169
click to vote
SPIN
2005
Springer
16 years 4 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
164
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a novel system for robotic measurement of contact sounds. This system is well suited for acquiring impulse-response sound models. A brief explanation of the sound mode...
152
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
156
click to vote
VL
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
176
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...