2722 search results - page 291 / 545 » The Model Evolution Calculus |
100
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
—In network-on-chip, computing worst-case delay bound for packet delivery is crucial for designing predictable systems but yet an intractable problem due to complicated resource ...
122
Voted
ISPW
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
145
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
113
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
138
Voted
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...