2162 search results - page 256 / 433 » A Meta-Notation for Protocol Analysis |
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
183
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, a design method for automotive architectures is proposed. The two main technical contributions are (i) a novel hardware/software architecture encoding that unifies ...
171
click to vote
BROADNETS
2007
IEEE
16 years 28 days ago
2007
IEEE
-- In this paper, we propose DATALITE, a Distributed Architecture for Traffic Analysis via LIghtweight Traffic digEst, which introduces a set of new distributed algorithms and prot...
172
click to vote
HPCC
2007
Springer
16 years 22 days ago
2007
Springer
Currently, some coarse measures like global network latency are used to compare routing protocols. These measures do not provide enough insight of traffic distribution among networ...
186
click to vote
ICPADS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is focused on the performance analysis, comparison and optimization of the most important distributed object models for Java: RMI (Remote Method Invocation) and RMI-IIO...