Sciweavers

1587 search results - page 215 / 318
» The Semantics of Extended SOFL
Sort
View
DBPL
2007
Springer
83views Database» more  DBPL 2007»
15 years 10 months ago
Succinctness of Pattern-Based Schema Languages for XML
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
Wouter Gelade, Frank Neven
ECOOP
2007
Springer
15 years 10 months ago
A Machine Model for Aspect-Oriented Programming
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
Michael Haupt, Hans Schippers
ICDT
2007
ACM
133views Database» more  ICDT 2007»
15 years 10 months ago
XML Schema Mappings in the Presence of Key Constraints and Value Dependencies
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...
Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
15 years 10 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
KI
2007
Springer
15 years 10 months ago
Proposal of Generalized Rule Programming Model
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
Grzegorz J. Nalepa, Igor Wojnicki