4348 search results - page 138 / 870 » Using UML for Modeling Complex Real-Time Systems |
147
Voted
ADVIS
2006
Springer
15 years 8 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
IUI
2004
ACM
15 years 8 months ago
2004
ACM
Complex systems abound in nature and are becoming increasingly important in artificial systems. The understanding and controlling of such systems is a major challenge. This paper ...
121
click to vote
GLOBAL
2003
Springer
15 years 7 months ago
2003
Springer
Global systems – systems which may operate over transient networks including mobile elements and in which computation itself may be mobile – are gaining in importance. Neverthe...
133
Voted
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
100
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...