Sciweavers

5671 search results - page 882 / 1135
» A Semantic Approach to Interpolation
Sort
View
ENTCS
2007
105views more  ENTCS 2007»
15 years 6 months ago
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...
Srecko Brlek, Sardaouna Hamadou, John Mullins
JUCS
2006
117views more  JUCS 2006»
15 years 6 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...
KI
2006
Springer
15 years 6 months ago
Relation Instantiation for Ontology Population Using the Web
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subt...
Viktor de Boer, Maarten van Someren, Bob J. Wielin...
PERCOM
2008
ACM
15 years 6 months ago
Peer-to-Peer Context Reasoning in Pervasive Computing Environments
In this paper, we propose a peer-to-peer approach to derive and obtain additional context data from lowlevel context data that may be spread over multiple domains in pervasive com...
Tao Gu, Hung Keng Pung, Daqing Zhang
IEE
2007
126views more  IEE 2007»
15 years 6 months ago
Computer games software factory and edutainment platform for microsoft .NET
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...
André Wilson Brotto Furtado, André L...