Sciweavers

124 search results - page 3 / 25
» Architectural Design via Declarative Programming
Sort
View
EUROPLOP
2006
14 years 7 days ago
Supporting the Selection of Design Patterns by Formal Definition and Considering Semantics
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
Klaus Meffert
AICCSA
2008
IEEE
265views Hardware» more  AICCSA 2008»
13 years 11 months ago
Multimedia terminal architecture: An inter-operable approach
This paper addresses the inter-operability problem of multimedia terminal in media content delivery over heterogeneous networks and devices. We design and implement a terminal whi...
Beilu Shao, Marco Mattavelli, Maria Teresa Andrade...
WOA
2004
14 years 6 days ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...
AVI
2000
14 years 6 days ago
Generating User Interface Code in a Model Based User Interface Development Environment
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
Paulo Pinheiro da Silva, Tony Griffiths, Norman W....
DAC
1999
ACM
14 years 11 months ago
Optimization of Inductor Circuits via Geometric Programming
Maria del Mar Hershenson, Sunderarajan S. Mohan, S...