112 search results - page 5 / 23 » A Novel Implementation of the Extended Andorra Model |
106
Voted
ER
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes a rule-based algorithm to derive a relational schema from an extended entity-relationship model. Our work is based on an approach by Atzeni and Torlone in whic...
145
Voted
AMAI
1999
Springer
15 years 1 days ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
117
Voted
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
97
Voted
ICSE
2007
IEEE-ACM
16 years 13 days ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
124
click to vote
ISSRE
2010
IEEE
14 years 10 months ago
2010
IEEE
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...