5075 search results - page 322 / 1015 » Model-based interface development |
203
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
176
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
190
click to vote
AIA
2006
15 years 8 months ago
2006
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
282
click to vote
TOG
2012
13 years 9 months ago
2012
We introduce an efficient method for synthesizing acceleration noise – sound produced when an object experiences abrupt rigidbody acceleration due to collisions or other contac...
181
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...