1392 search results - page 90 / 279 » A Calculus for Dynamic Linking |
114
click to vote
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
123
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
114
click to vote
DSVIS
2003
Springer
15 years 8 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
118
click to vote
AIIA
1995
Springer
15 years 6 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
112
click to vote
ENTCS
2008
15 years 2 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...