5075 search results - page 322 / 1015 » Model-based interface development |
153
click to vote
SPIN
2004
Springer
15 years 10 months 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...
143
Voted
SRDS
1999
IEEE
15 years 8 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...
159
click to vote
AIA
2006
15 years 6 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...
234
Voted
TOG
2012
13 years 7 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...
150
click to vote
WWW
2004
ACM
16 years 5 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...