1636 search results - page 170 / 328 » Reasoning About Quantum Systems |
145
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
159
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save sufficient information to replay and analyze atta...
152
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
179
click to vote
FM
1991
Springer
15 years 10 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
198
click to vote
HASKELL
2005
ACM
15 years 12 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...