615 search results - page 41 / 123 » Meta-Programming Techniques for Distributed Real-time and Em... |
135
Voted
CLUSTER
2004
IEEE
15 years 3 months ago
2004
IEEE
An increasing number of applications are being developed using distributed object computing (DOC) middleware, such as CORBA. Many of these applications require the underlying midd...
146
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
130
click to vote
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to ...
135
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
125
Voted
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...