Sciweavers

3429 search results - page 241 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
EJC
2008
15 years 5 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
ICDT
2003
ACM
132views Database» more  ICDT 2003»
15 years 9 months ago
Probabilistic Interval XML
Interest in XML databases has been growing over the last few years. In this paper, we study the problem of incorporating probabilistic information into XML databases. We propose th...
Edward Hung, Lise Getoor, V. S. Subrahmanian
POPL
2008
ACM
16 years 4 months ago
Semantics of transactional memory and automatic mutual exclusion
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
Andrew Birrell, Martín Abadi, Michael Isard...
CAISE
2005
Springer
15 years 9 months ago
An MDD annotation methodology for Semantic Enhanced Service Oriented Architectures
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
Lorenzo Pondrelli
SEMWEB
2007
Springer
15 years 10 months ago
Semantic Enterprise Technologies
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
Massimo Ruffolo, Luigi Guadagno, Inderbir Sidhu