972 search results - page 132 / 195 » Reasoning with Conditional Time-Intervals |
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
MOBIQUITOUS
2007
IEEE
14 years 2 months ago
2007
IEEE
—Sensor networks involving human participants will require privacy protection before wide deployment is feasible. This paper proposes and evaluates a set of protocols that enable...
SECON
2007
IEEE
14 years 2 months ago
2007
IEEE
—Increasingly many wireless sensor network deployments are using harvested environmental energy to extend system lifetime. Because the temporal profiles of such energy sources e...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...