Sciweavers

2212 search results - page 148 / 443
» Automated software wrapping
Sort
View
ISMB
1996
15 years 5 months ago
GeneFisher-Software Support for the Detection of Postulated Genes
Whena family of genes from closely related organisms is known,there is a certain chance to extract the corresponding gene from the genomeof another related organism. This can be d...
Robert Giegerich, Folker Meyer, Chris Schleiermach...
COR
2008
103views more  COR 2008»
15 years 4 months ago
A tabu search algorithm for structural software testing
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
Eugenia Díaz, Javier Tuya, Raquel Blanco, J...
IMCSIT
2010
15 years 1 months ago
Software and hardware in the loop component for an IEC 61850 Co-Simulation platform
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
Haffar Mohamad, Thiriet Jean Marc
DAC
1999
ACM
16 years 5 months ago
A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems
We present a novel approach that minimizes the power consumption of embedded core-based systems through hardware/software partitioning. Our approach is based on the idea of mapping...
Jörg Henkel
CIA
2007
Springer
15 years 10 months ago
Formal Analysis of Trust Dynamics in Human and Software Agent Experiments
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
Tibor Bosse, Catholijn M. Jonker, Jan Treur, Dmytr...