1299 search results - page 125 / 260 » On the Correctness of Operating System Kernels |
149
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
In extraordinary situations, certain individuals may require access to information for which they are not normally authorized. For example, to facilitate rescue of people trapped ...
157
Voted
SRDS
2000
IEEE
15 years 9 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...
131
click to vote
ENTCS
2006
15 years 4 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
146
click to vote
WADT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
139
Voted
CASCON
1996
15 years 6 months ago
1996
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...