1286 search results - page 148 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
133
Voted
PVM
2010
Springer
14 years 10 months ago
2010
Springer
The number of multithreaded Message Passing Interface (MPI) implementations and applications is increasing rapidly. We discuss how multithreaded applications can receive messages o...
134
Voted
CRYPTO
2010
Springer
15 years 1 months ago
2010
Springer
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...
136
Voted
IJIIDS
2008
15 years 21 days ago
2008
: Growing importance of distributed data mining techniques has recently attracted attention of researchers in multiagent domain. Several agent-based application have been already c...
81
Voted
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
95
Voted
CCR
2007
15 years 16 days ago
2007
While multi-player online games are very successful, their fast deployment suffers from their server-based architecture. Indeed, servers both limit the scalability of the games a...