3710 search results - page 69 / 742 » A new calculus of contexts |
DALT
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
CL
2002
Springer
14 years 11 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
112
click to vote
ENTCS
2002
14 years 11 months ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...
AAECC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract Elementary techniques from operational calculus, differential algebra, and noncommutative algebra lead to a new approach for change-point detection, which is an important ...
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...