Sciweavers

2525 search results - page 314 / 505
» A Framework for Semantic Gossiping
Sort
View
EDBT
2002
ACM
92views Database» more  EDBT 2002»
16 years 6 months ago
XQuery by the Book: The IPSI XQuery Demonstrator
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
Peter Fankhauser, Tobias Groh, Sven Overhage
141
Voted
ICTAI
2008
IEEE
16 years 16 days ago
DOG: An Ontology-Powered OSGi Domotic Gateway
This paper proposes an ontology-powered Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption ...
Dario Bonino, Emiliano Castellina, Fulvio Corno
QEST
2008
IEEE
16 years 15 days ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore
ICCS
2007
Springer
16 years 9 days ago
An Inferential Approach to the Generation of Referring Expressions
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...
Madalina Croitoru, Kees van Deemter
151
Voted
ICCS
2007
Springer
16 years 9 days ago
Dynamic Epistemic Logic and Knowledge Puzzles
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...