2468 search results - page 209 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
148
click to vote
SDM
2008
SIAM
15 years 5 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
117
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
We are concerned with the availability of systems, defined as the ratio between time of correct functioning and uptime. We propose to model guaranteed availability in terms of regu...
141
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
131
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
125
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...