Sciweavers

3836 search results - page 159 / 768
» Semantics of Database Transformations
Sort
View
150
Voted
DEXA
2009
Springer
177views Database» more  DEXA 2009»
15 years 10 months ago
Querying XML Data with SPARQL
SPARQL is today the standard access language for Semantic Web data. In the recent years XML databases have also acquired industrial importance due to the widespread applicability o...
Nikos Bikakis, Nektarios Gioldasis, Chrisa Tsinara...
WIDM
2006
ACM
15 years 9 months ago
An architecture for creating collaborative semantically capable scientific data sharing infrastructures
Increasingly, scientists are seeking to collaborate and share data among themselves. Such sharing is can be readily done by publishing data on the World-Wide Web. Meaningful query...
Anuj R. Jaiswal, C. Lee Giles, Prasenjit Mitra, Ja...
FOAL
2007
ACM
15 years 7 months ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith
119
Voted
ECEASST
2008
69views more  ECEASST 2008»
15 years 3 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai
TSE
2011
107views more  TSE 2011»
14 years 10 months ago
Deriving a Slicing Algorithm via FermaT Transformations
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
Martin P. Ward, Hussein Zedan