441 search results - page 40 / 89 » The logical approach to stack typing |
101
click to vote
CLA
2007
15 years 1 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we address the problem of cross-layer denial of service attack in wireless data networks. We introduce SPREAD - a novel adaptive diversification approach to pro...
127
click to vote
CCGRID
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...
CE
2007
14 years 11 months ago
2007
This paper argues that the internet is built around key technology design features of openness, robustness and decentralisation. These design features have transformed into social...
CAV
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...