1963 search results - page 55 / 393 » How is aliasing used in systems software |
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
WSC
1998
13 years 11 months ago
1998
This paper discusses how simulation is used to design new manufacturing systems and to improve the performance of existing ones. Topics to be discussed include: manufacturing issu...
VL
1993
IEEE
14 years 2 months ago
1993
IEEE
This paper describes the object-oriented development of ProtoHyperflow, a data flow visual language. We demonstrate how object-oriented software construction principles can be use...
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Embedded distributed real-time systems are traditionally used in safety-critical application areas such as avionics, healthcare, and the automotive sector. Assuring dependability ...
CAISE
2009
Springer
14 years 4 months ago
2009
Springer
Self-contextualizability refers to the system ability to autonomously adapt its behaviour to context in order to maintain its objectives satisfied. In this paper, we propose a mod...