Sciweavers

393 search results - page 43 / 79
» Source transformation in software engineering using the TXL ...
Sort
View
ASE
1998
81views more  ASE 1998»
13 years 8 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
COMPUTER
2000
128views more  COMPUTER 2000»
13 years 8 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee
SCESM
2006
ACM
247views Algorithms» more  SCESM 2006»
14 years 2 months ago
Automating software architecture exploration with M2Aspects
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
Ingolf H. Krüger, Gunny Lee, Michael Meisinge...
SIGSOFT
2003
ACM
14 years 2 months ago
Modeling and validation of service-oriented architectures: application vs. style
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
Luciano Baresi, Reiko Heckel, Sebastian Thöne...
ICDE
2003
IEEE
101views Database» more  ICDE 2003»
14 years 10 months ago
XomatiQ: Living With Genomes, Proteomes, Relations and a Little Bit of XML
In this paper, we describe a system called XomatiQ to address the problem of integration, querying and correlation of biological data. XomatiQ is an integral part of the genomics ...
Sourav S. Bhowmick, Pedro Cruz, Amey V. Laud