Sciweavers

889 search results - page 32 / 178
» Update XML Data by Using Graphical Languages
Sort
View
ECMDAFA
2006
Springer
226views Hardware» more  ECMDAFA 2006»
13 years 9 months ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
TKDE
2010
189views more  TKDE 2010»
13 years 6 months ago
Projective Distribution of XQuery with Updates
—We investigate techniques to automatically decompose any XQuery query—including updating queries specified by the XQuery Update Facility (XQUF)—into subqueries, that can be ...
Ying Zhang, Nan Tang, Peter A. Boncz
SIGCSE
2005
ACM
109views Education» more  SIGCSE 2005»
14 years 1 months ago
Exploring XML for data exchange in the context of an undergraduate database curriculum
The relationship between XML and database management systems has become an important topic for coverage at the undergraduate level. This paper presents an approach to teaching the...
Suzanne W. Dietrich, Susan Darling Urban, Hua Ma, ...
POPL
2005
ACM
14 years 8 months ago
Context logic and tree update
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
APVIS
2004
13 years 9 months ago
Displaying Linear Programs and Their Solutions With XML and SVG
We describe a modelling language, called XML:LP, for presenting linear and integer programs in XML, with related tools for displaying models and their solutions in web browsers. O...
Hans Chang, John F. Raffensperger, Neville Churche...