Sciweavers

503 search results - page 59 / 101
» An Independence Relation for Sets of Secrets
Sort
View
BIRTHDAY
2004
Springer
15 years 11 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 10 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 9 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»
15 years 7 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»
15 years 7 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