974 search results - page 94 / 195 » Formal Modeling of Communication Traces |
132
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
120
click to vote
ENTCS
2006
15 years 3 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
134
click to vote
PPOPP
1993
ACM
15 years 7 months ago
1993
ACM
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
125
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
152
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...