13489 search results - page 404 / 2698 » Self-migration of operating systems |
220
click to vote
ENTCS
2007
15 years 7 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
209
click to vote
CODES
1998
IEEE
15 years 12 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
202
click to vote
HCW
1998
IEEE
15 years 12 months ago
1998
IEEE
CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administr...
177
click to vote
APSEC
1997
IEEE
15 years 12 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...
193
click to vote
CIT
2007
Springer
15 years 11 months ago
2007
Springer
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...