Sciweavers

2685 search results - page 221 / 537
» A Formal Semantics for SPKI
Sort
View
ADBIS
2007
Springer
98views Database» more  ADBIS 2007»
16 years 28 days ago
CUDL Language Semantics, Liven Up the FDB Data Model
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
Nikitas Karanikolas, Maria Nitsiou, Emmanuel J. Ya...
ESOP
2007
Springer
16 years 28 days ago
A Rewriting Semantics for Type Inference
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
George Kuan, David MacQueen, Robert Bruce Findler
SEMWEB
2007
Springer
16 years 26 days ago
Structure Preserving Semantic Matching
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...
Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNe...
DASFAA
2005
IEEE
91views Database» more  DASFAA 2005»
16 years 11 days ago
Semantic Characterization of Real World Events
Reducing the latency of information delivery in an event driven world has always been a challenge. It is often necessary to completely capture the attributes of events and relation...
Aparna Nagargadde, Sridhar Varadarajan, Krithi Ram...
EUC
2004
Springer
16 years 4 days ago
A Collaborative and Semantic Data Management Framework for Ubiquitous Computing Environment
One fundamental task to realize the envisioned ubiquitous computing paradigm is the proper management of the data generated in this environment. The special characteristics of high...
Weisong Chen, Cho-Li Wang, Francis C. M. Lau