1336 search results - page 59 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
149
click to vote
IPAW
2010
15 years 19 days ago
2010
Abstract. Scientists increasingly rely on workflow management systems to perform large-scale computational scientific experiments. These systems often collect provenance informatio...
119
Voted
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
124
click to vote
SERP
2003
15 years 4 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
119
Voted
ISCAS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper aims to design robust correlation-based watermarking methods for images. We rst present a model of watermark embedding and extracting processes and carry out their ana...
118
click to vote
PNPM
1987
15 years 6 months ago
1987
We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...