2722 search results - page 291 / 545 » The Model Evolution Calculus |
147
click to vote
ASPDAC
2009
ACM
16 years 1 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 ...
160
click to vote
ISPW
2006
IEEE
16 years 16 days 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...
183
click to vote
HICSS
2005
IEEE
16 years 4 days 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...
168
click to vote
FOSSACS
2005
Springer
16 years 1 days 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 ...
176
click to vote
AMAI
2004
Springer
15 years 12 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...