CORR
2010
Springer
13 years 3 months ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flex...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
This paper investigates the existence conditions of cusp points in the design parameter space of the RPR-2PRR parallel manipulators. Cusp points make possible non-singular assembly...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Data Management portfolio within an organization has seen an upsurge in initiatives for compliance, security, repurposing and storage within and outside the organization. When suc...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
CORR
2010
Springer
13 years 3 months ago
2010
Springer
CORR
2010
Springer
13 years 3 months ago
2010
Springer
We revisit the problem of model-based object recognition for intensity images and attempt to address some of the shortcomings of existing Bayesian methods, such as unsuitable prior...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
CORR
2010
Springer
13 years 3 months ago
2010
Springer