208 search results - page 19 / 42 » Object-oriented real-time concurrency |
UML
1999
Springer
14 years 2 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
VLDB
1990
ACM
14 years 1 months ago
1990
ACM
This paper presents an approach to maintaining consistency of object versions in multiversion database systems. In this approach a multiversion database is considered to be a set ...
ENTCS
2008
13 years 10 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
RTCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...