7329 search results - page 250 / 1466 » Software Architectural Transformation |
164
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
157
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
169
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
156
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose an approach for a robot to imitate the gestures of a human demonstrator. Our framework consists solely of two components: a Sensory-Motor Map (SMM) and a View-Point Tra...
151
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we use a mathematical approach to automatically generate high performance short vector code for the discrete Fourier transform (DFT). We represent the well-known Coo...