Sciweavers

3771 search results - page 58 / 755
» Subobject Transformation Systems
Sort
View
ICSM
2002
IEEE
15 years 7 months ago
A Software Transformation Framework for Quality-Driven Object-Oriented Re-engineering
In re-engineering object-oriented legacy code, it is frequently useful to introduce a design pattern in order to improve specific non-functional requirements (e.g., maintainabili...
Ladan Tahvildari, Kostas Kontogiannis
LOPSTR
2009
Springer
15 years 9 months ago
Deciding Full Branching Time Logic by Program Transformation
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
ISCAS
2002
IEEE
89views Hardware» more  ISCAS 2002»
15 years 7 months ago
Mapping the wavelet transform onto silicon: the dynamic translinear approach
In this paper, an analog implementation of the Wavelet Transform (WT) is presented. The circuit is based on the Dynamic Translinear (DTL) circuit technique and implements, by mean...
Sandro A. P. Haddad, Wouter A. Serdijn
MAICS
2003
15 years 3 months ago
A Distributed Planning Approach Using Multiagent Goal Transformations
A multiagent goal transformation is defined as a directed alteration of goals by the agents in a multiagent system in order to adjust for lack of resources and/or lack of capabili...
Michael T. Cox, Mohammad M. Elahi, Kevin Cleereman
ACL
1997
15 years 3 months ago
String Transformation Learning
String transformation systems have been introduced in (Brill, 1995) and have several applications in natural language processing. In this work we consider the computational proble...
Giorgio Satta, John C. Henderson