946 search results - page 78 / 190 » Process Algebra and Non-Interference |
105
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
101
click to vote
ASWEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
102
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
96
Voted
COMCOM
1998
15 years 10 days ago
1998
In this paper we focus on the behavior of the token leaky bucket mechanism with respect to second-order statistics of the departure process under various correlated cell arrival a...
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...