3573 search results - page 591 / 715 » Reasoning about Codata |
105
click to vote
SYNTHESE
2010
14 years 7 months ago
2010
This paper explores the ramifications of the extended cognition thesis in the philosophy of mind for contemporary epistemology. In particular, it argues that all theories of knowle...
176
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
FMSD
2002
15 years 17 days ago
2002
Abstract. We de ne a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pat...
118
Voted
TC
2002
15 years 13 days ago
2002
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
84
Voted
TCS
2002
15 years 13 days ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...