Sciweavers

306 search results - page 24 / 62
» Engineering agent-mediated integration of bioinformatics ana...
Sort
View
DILS
2008
Springer
15 years 6 months ago
VisGenome and Ensembl: Usability of Integrated Genome Maps
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...
Joanna Jakubowska, Ela Hunt, John McClure, Matthew...
EUROMICRO
2005
IEEE
15 years 10 months ago
Software Security Analysis - Execution Phase Audit
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
Bengt Carlsson, Dejan Baca
ICCAD
1996
IEEE
133views Hardware» more  ICCAD 1996»
15 years 8 months ago
Basic concepts for an HDL reverse engineering tool-set
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
Gunther Lehmann, Bernhard Wunder, Klaus D. Mü...
ICSE
2009
IEEE-ACM
16 years 5 months ago
Alitheia Core: An extensible software quality monitoring platform
Research in the fields of software quality and maintainability requires the analysis of large quantities of data, which often originate from open source software projects. Pre-pro...
Georgios Gousios, Diomidis Spinellis
TII
2008
98views more  TII 2008»
15 years 4 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux