674 search results - page 37 / 135 » Toward Self-Stabilizing Operating Systems |
73
Voted
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
Cloud security issues have recently gained traction in the research community, with much of the focus primarily concentrated on securing the operating systems and virtual machines...
91
Voted
HOTOS
1997
IEEE
15 years 2 months ago
1997
IEEE
The recent trend towards dynamically extensible systems, such as Java, SPIN or VINO, promises more powerful and flexible systems. At the same time, the impact of extensibility on...
78
Voted
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
73
Voted
WISE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Mobile payment normally occurs as a wireless transaction of monetary value and includes the initiation, authorization and the realization of the payment. Such transaction...
88
Voted
NCA
2006
IEEE
15 years 4 months ago
2006
IEEE
Modern distributed information systems handle increasingly critical data and computation, but there is no systematic way to assess whether a given part of the system can be entrus...