9974 search results - page 360 / 1995 » Software Interconnection Models |
159
click to vote
STTT
2002
15 years 6 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
180
click to vote
USENIX
2008
15 years 9 months ago
2008
: The paravirtualized I/O driver domain model, used in Xen, provides several advantages including device driver isolation in a safe execution environment, support for guest VM tran...
181
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
148
click to vote
TC
1998
15 years 6 months ago
1998
—Preventive maintenance of operational software systems, a novel technique for software fault tolerance, is used specifically to counteract the phenomenon of software “aging....
195
click to vote
ISSRE
2008
IEEE
16 years 1 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...