Sciweavers

24 search results - page 3 / 5
» Safe Integration of Annotated Components in Open Source Proj...
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
13 years 8 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
MSR
2010
ACM
13 years 8 months ago
Identifying licensing of jar archives using a code-search approach
—Free and open source software strongly promotes the reuse of source code. Some open source Java components/libraries are distributed as jar archives only containing the bytecode...
Massimiliano Di Penta, Daniel M. Germán, Gi...
BMCBI
2010
138views more  BMCBI 2010»
13 years 3 months ago
A database and API for variation, dense genotyping and resequencing data
Background: Advances in sequencing and genotyping technologies are leading to the widespread availability of multi-species variation data, dense genotype data and large-scale rese...
Daniel Rios, William M. McLaren, Yuan Chen, Ewan B...
COMPUTER
2002
196views more  COMPUTER 2002»
13 years 3 months ago
Grid Services for Distributed System Integration
ions and concepts that let applications access and share resources and services across distributed, wide area networks, while providing common security semantics, distributed resou...
Ian T. Foster, Carl Kesselman, Jeffrey M. Nick, St...
BMCBI
2006
174views more  BMCBI 2006»
13 years 3 months ago
Genome wide prediction of protein function via a generic knowledge discovery approach based on evidence integration
Background: The automation of many common molecular biology techniques has resulted in the accumulation of vast quantities of experimental data. One of the major challenges now fa...
Jianghui Xiong, Simon Rayner, Kunyi Luo, Yinghui L...