1959 search results - page 80 / 392 » Concerned About Separation |
118
Voted
WSC
2000
15 years 5 months ago
2000
The theory of modeling and simulation is well defined in result of about 30 years of research and practice. There are commonly accepted approaches and methods of working out succe...
133
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
123
click to vote
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
147
click to vote
AAMAS
2000
Springer
15 years 3 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
129
click to vote
TLDI
2009
ACM
16 years 28 days ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...