670 search results - page 99 / 134 » Modeling generalized implicatures using non-monotonic logics |
103
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
103
Voted
POPL
2010
ACM
15 years 9 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
124
click to vote
NGITS
1999
Springer
15 years 4 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
100
Voted
ENTCS
2002
15 years 7 days ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
140
click to vote
CHES
2008
Springer
15 years 2 months ago
2008
Springer
We propose a generic information-theoretic distinguisher for differential side-channel analysis. Our model of side-channel leakage is a refinement of the one given by Standaert et ...