9455 search results - page 1821 / 1891 » The Modelling Language Zinc |
162
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
101
click to vote
SIGOPSE
1998
ACM
15 years 5 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
146
click to vote
EKAW
1992
Springer
15 years 5 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
118
click to vote
STOC
1993
ACM
15 years 5 months ago
1993
ACM
In this paper we study quantum computation from a complexity theoretic viewpoint. Our first result is the existence of an efficient universal quantum Turing machine in Deutsch’s...
103
click to vote
ICDCS
1990
IEEE
15 years 5 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...