13489 search results - page 395 / 2698 » Self-migration of operating systems |
209
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
204
click to vote
EWSN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks. Alternative designs following a classical multi-threaded approach are...
211
click to vote
OSDI
2000
ACM
15 years 9 months ago
2000
ACM
Pocket computers are beginning to emerge that provide sufficient processing capability and memory capacity to run traditional desktop applications and operating systems on them. T...
245
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
The field of human-computer interaction has been widely investigated in the last years, resulting in a variety of systems used in different application fields like virtual reality...
219
click to vote
SRDS
1998
IEEE
15 years 12 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...