13489 search results - page 164 / 2698 » Self-migration of operating systems |
176
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Continuously running systems require kernel software updates applied to them without downtime. Facilitating fast reboots, or delaying an update may not be a suitable solution in m...
161
click to vote
IWFM
1998
15 years 7 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
197
click to vote
ISSRE
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
169
click to vote
MOMPES
2009
IEEE
16 years 1 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...
162
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Supporting user interactivity in peer-to-peer streaming systems is challenging. VCR-like operations, such as random seek, pause, fast forward and rewind, require timely P2P ove...