Sciweavers

1417 search results - page 122 / 284
» An Architecture for a Semantic Portal
Sort
View
SIGMETRICS
1995
ACM
15 years 1 months ago
Talisman: Fast and Accurate Multicomputer Simulation
Talisman is a simulator that models the execution semantics and timing of a multicomputer. Talisman is unique in combining high semantic accuracy, high timing accuracy, portabilit...
Robert C. Bedichek
JLP
2006
126views more  JLP 2006»
14 years 10 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
76
Voted
JSW
2007
106views more  JSW 2007»
14 years 10 months ago
Supporting Attribute-based Access Control in Authorization and Authentication Infrastructures with Ontologies
Abstract— In highly open systems like the Internet, attributebased access control (ABAC) has proven its appropriateness. This is reflected in the utilization of ABAC in authenti...
Torsten Priebe, Wolfgang Dobmeier, Christian Schl&...
WEBI
2010
Springer
14 years 8 months ago
Linked Open Social Signals
In this paper we discuss the collection, semantic annotation and analysis of real-time social signals from microblogging data. We focus on users interested in analyzing social sign...
Pablo N. Mendes, Alexandre Passant, Pavan Kapanipa...
ICMCS
2005
IEEE
132views Multimedia» more  ICMCS 2005»
15 years 3 months ago
A Two-Level CBIR Platform with Application to Brain MRI Retrieval
This paper presents a novel platform for image retrieval based on a two-level architecture inspired from human cognitive mechanisms. These two levels provide both generic similari...
John Moustakas, Kostas Marias, Socrates Dimitriadi...