Sciweavers

503 search results - page 59 / 101
» An Independence Relation for Sets of Secrets
Sort
View
BIRTHDAY
2004
Springer
15 years 3 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes
GPC
2010
Springer
15 years 1 months ago
Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
Wei-Jen Wang, Carlos A. Varela, Fu-Hau Hsu, Cheng-...
ESAS
2006
Springer
15 years 1 months ago
On Optimality of Key Pre-distribution Schemes for Distributed Sensor Networks
We derive the optimality results for key pre distribution scheme for distributed sensor networks, and relations between interesting parameters. Namely, given a key-pool of size n ...
Subhas Kumar Ghosh
LREC
2010
115views Education» more  LREC 2010»
14 years 11 months ago
A General Methodology for Equipping Ontologies with Time
In the first part of this paper, we present a framework for enriching arbitrary upper or domain-specific ontologies with a concept of time. To do so, we need the notion of a time ...
Hans-Ulrich Krieger
MEDINFO
2007
110views Healthcare» more  MEDINFO 2007»
14 years 11 months ago
Towards a Top-Domain Ontology for Linking Biomedical Ontologies
In this paper we present the ongoing development and extension work on BioTop – a top-domain ontology for linking biomedical domain ontologies. We start by making the case for t...
Holger Stenzhorn, Elena Beisswanger, Stefan Schulz