Sciweavers

9642 search results - page 287 / 1929
» Semantics in Multimedia Systems
Sort
View
ENTCS
2007
111views more  ENTCS 2007»
15 years 6 months ago
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
Rocco De Nicola, Michele Loreti
CN
2007
123views more  CN 2007»
15 years 6 months ago
Information retrieval in schema-based P2P systems using one-dimensional semantic space
The widespread use of RDF-based information necessitates efficient information retrieval techniques in wide-area networks. In this paper, we present Dynamic Semantic Space, a sche...
Tao Gu, Hung Keng Pung, Daqing Zhang
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 7 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
BXML
2003
15 years 7 months ago
Semantic Caching in Ontology-based Mediator Systems
: The integration of heterogenous web sources is still a big challenge. One approach to deal with integration problems is the usage of domain knowledge in form of vocabularies or o...
Marcel Karnstedt, Kai-Uwe Sattler, Ingolf Geist, H...
SIGMOD
2003
ACM
88views Database» more  SIGMOD 2003»
16 years 6 months ago
Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues
We consider the problem of mapping data in peer-topeer data-sharing systems. Such systems often rely on the use of mapping tables listing pairs of corresponding values to search f...
Anastasios Kementsietsidis, Marcelo Arenas, Ren&ea...