729 search results - page 70 / 146 » Communicating Evolving Algebras |
SEW
2006
IEEE
14 years 3 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
ASWEC
2005
IEEE
14 years 3 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...
APLAS
2005
ACM
14 years 3 months ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
ICICS
2004
Springer
14 years 3 months ago
2004
Springer
In order to decide on advertisement fees for web servers, Naor and Pinkas introduced (threshold) metering schemes secure against coalitions of corrupt servers and clients. They sho...
ISPA
2004
Springer
14 years 3 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...