447 search results - page 26 / 90 » A Probabilistic Calculus of Actions |
CONCUR
2001
Springer
14 years 1 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
HICSS
1998
IEEE
14 years 29 days ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...