Sciweavers

1524 search results - page 106 / 305
» Operational Semantics of Hybrid Systems
Sort
View
AUTOMATICA
2011
14 years 4 months ago
Timing and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
Carlos Renato Vázquez, Manuel Silva
SWAP
2008
14 years 11 months ago
Entity Identification on the Semantic Web
Abstract. In the core of every information integration and data exchange effort lies the ability to identify whether two pieces of information refer to the same real world entity. ...
Alexis Morris, Yannis Velegrakis, Paolo Bouquet
MIDDLEWARE
2005
Springer
15 years 3 months ago
Managing the follow-me semantics to build large-scale pervasive applications
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
Iara Augustin, Adenauer C. Yamin, Cláudio F...
DEXA
2007
Springer
127views Database» more  DEXA 2007»
15 years 4 months ago
A Method for Determining Ontology-Based Semantic Relevance
The semantic web is based on ontologies and metadata that indexes resources using ontologies. This indexing is called annotation. Ontology based information retrieval is an operati...
Tuukka Ruotsalo, Eero Hyvönen
CSFW
2012
IEEE
13 years 11 days ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...