540 search results - page 98 / 108 » Logical Semantics of Types for Concurrency |
OTM
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ļ¬...
MFCS
1991
Springer
13 years 11 months ago
1991
Springer
Weak Observational Congruence (woc) deļ¬ned on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
AMR
2007
Springer
14 years 1 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
SACMAT
2009
ACM
14 years 1 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a speciļ¬c family of models in this arena and identify several direction...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...