Sciweavers

381 search results - page 46 / 77
» Domain Analysis for Transformational Reuse
Sort
View
IJCAT
2010
132views more  IJCAT 2010»
14 years 8 months ago
Using weaving models to automate model-driven web engineering proposals
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
Juan M. Vara, Valeria de Castro, Marcos Didonet De...
RTA
2011
Springer
14 years 15 days ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
INFOVIS
2000
IEEE
15 years 2 months ago
A Taxonomy of Visualization Techniques Using the Data State Reference Model
In previous work, researchers have attempted to construct taxonomies of information visualization techniques by examining the data domains that are compatible with these technique...
Ed Huai-hsin Chi
111
Voted
FASE
2008
Springer
14 years 11 months ago
Correctness-Preserving Configuration of Business Process Models
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
Wil M. P. van der Aalst, Marlon Dumas, Florian Got...
76
Voted
ICPR
2008
IEEE
15 years 4 months ago
IR and visible face recognition using fusion of kernel based features
In this paper we present the face recognition method using feature-level fusion where the infrared (IR) and visible face images are fused at transformed domain. The main contribut...
Shahbe Mat Desa, Subhas Hati