Sciweavers

4800 search results - page 491 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
POPL
2000
ACM
15 years 8 months ago
Generalized Certificate Revocation
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
Carl A. Gunter, Trevor Jim
BIRTHDAY
2008
Springer
15 years 6 months ago
Event-Based Service Coordination
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...
Gian Luigi Ferrari, Roberto Guanciale, Daniele Str...
IJCAI
2007
15 years 6 months ago
A Machine Learning Approach for Statistical Software Testing
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
Nicolas Baskiotis, Michèle Sebag, Marie-Cla...
IC
2003
15 years 6 months ago
Designing a Grid Computing Environment Shell Engine
We describe the design and features of our Grid Computing Environments Shell system, or GCEShell. We view computing Grids as providing essentially a globally scalable distributed ...
Mehmet A. Nacar, Marlon E. Pierce, Geoffrey Fox
AMAI
2008
Springer
15 years 4 months ago
Bayesian learning of Bayesian networks with informative priors
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...
Nicos Angelopoulos, James Cussens