1299 search results - page 112 / 260 » On the Correctness of Operating System Kernels |
128
click to vote
USENIX
1990
15 years 5 months ago
1990
In the past several years, there have been a large number of published works that have graphically described a wide variety of security problems particular to Unix. Without fail, ...
154
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
133
click to vote
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
There is a critical need to design and develop tools tract away the fundamental complexity of XML based Web services specifications and toolkits, and provide an elegant, intuitive...
139
Voted
AAAI
2006
15 years 6 months ago
2006
This paper considers a distributed system of software agents who cooperate in helping their users to find services, provided by different agents. The agents need to ensure that th...
134
click to vote
ICCD
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper describes a novel communication scheme, which is guaranteed to be free of synchronization failures, amongst multiple synchronous modules operating independently. In thi...