3689 search results - page 139 / 738 » A Language with Distributed Scope |
117
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
147
click to vote
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
133
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
156
click to vote
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
103
click to vote
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...