Sciweavers

SAC
2010
ACM
13 years 7 months ago
Inter-DSL coordination support by combining megamodeling and model weaving
Model-Driven Engineering (MDE) advocates the use of models at every step of the software development process. Within this context, a team of engineers collectively and collaborati...
Frédéric Jouault, Bert Vanhooff, Hug...
SAC
2010
ACM
13 years 7 months ago
Improving complex distributed software system availability through information hiding
Li Wang, Yair Leiferman, Shangping Ren, Kevin A. K...
SAC
2010
ACM
13 years 7 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
SAC
2010
ACM
13 years 7 months ago
A new methodology for photometric validation in vehicles visual interactive systems
This work proposes a new methodology for automatically validating the internal lighting system of an automotive, i.e., assessing the visual quality of an instrument cluster (IC) f...
Alexandre W. C. Faria, David Menotti, Daniel S. D....
SAC
2010
ACM
13 years 7 months ago
Detecting metamorphic malwares using code graphs
Jusuk Lee, Kyoochang Jeong, Heejo Lee
PROCEDIA
2010
120views more  PROCEDIA 2010»
13 years 7 months ago
A coupled convection-diffusion level set model for tracking epithelial cells in colonic crypts
Colorectal cancer is initiated in colonic crypts as a consequence of alterations leading to the disruption of the normal colonic cellular process. We propose a model, which couple...
Isabel N. Figueiredo, Carlos F. Leal, Tommaso Leon...
PROCEDIA
2010
154views more  PROCEDIA 2010»
13 years 7 months ago
Parallel computation of phylogenetic consensus trees
The field of bioinformatics is witnessing a rapid and overwhelming accumulation of molecular sequence data, predominantly driven by novel wet-lab sequencing techniques. This trend...
Andre J. Aberer, Nicholas D. Pattengale, Alexandro...
PROCEDIA
2010
129views more  PROCEDIA 2010»
13 years 7 months ago
Car-driving assistance using organization measurement of reactive multi-agent system
This work presents an approach to the obstacle avoidance problem, applicable in the frame of driver assistance. A decision, expressed as a proposed acceleration vector for the veh...
Franck Gechter, Jean-Michel Contet, Pablo Gruer, A...
PROCEDIA
2010
140views more  PROCEDIA 2010»
13 years 7 months ago
Theoretical enzyme design using the Kepler scientific workflows on the Grid
One of the greatest challenges in computational chemistry is the design of enzymes to catalyze non-natural chemical reactions. We focus on harnessing the distributed parallel comp...
Jianwu Wang, Prakashan Korambath, Seonah Kim, Scot...
PROCEDIA
2010
109views more  PROCEDIA 2010»
13 years 7 months ago
Ridge regression ensemble for toxicity prediction
Traditional methods of assessing chemical toxicity of various compounds require tests on animals, which raises ethical concerns and is expensive. Current legislation may lead to a...
Marcin Budka, Bogdan Gabrys