1129 search results - page 89 / 226 » Modular Ranking Abstraction |
163
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
148
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
124
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We describe the invariants of plane quartic curves -- nonhyperelliptic genus 3 curves in their canonical model -- as determined by Dixmier and Ohno, with application to t...
152
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
191
click to vote
MKWI
2008
15 years 7 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...