Sciweavers

2165 search results - page 224 / 433
» Cooperative Software Development: Concepts, Model and Tools
Sort
View
BMCBI
2007
169views more  BMCBI 2007»
15 years 6 months ago
The CRISPRdb database and tools to display CRISPRs and to generate dictionaries of spacers and repeats
Background: In Archeae and Bacteria, the repeated elements called CRISPRs for "clustered regularly interspaced short palindromic repeats" are believed to participate in ...
Ibtissem Grissa, Gilles Vergnaud, Christine Pource...
BMCBI
2005
302views more  BMCBI 2005»
15 years 6 months ago
CGHPRO - A comprehensive data analysis tool for array CGH
Background: Array CGH (Comparative Genomic Hybridisation) is a molecular cytogenetic technique for the genome wide detection of chromosomal imbalances. It is based on the cohybrid...
Wei Chen, Fikret Erdogan, H.-Hilger Ropers, Steffe...
BMCBI
2006
112views more  BMCBI 2006»
15 years 6 months ago
MassSorter: a tool for administrating and analyzing data from mass spectrometry experiments on proteins with known amino acid se
Background: Proteomics is the study of the proteome, and is critical to the understanding of cellular processes. Two central and related tasks of proteomics are protein identifica...
Harald Barsnes, Svein-Ole Mikalsen, Ingvar Eidhamm...
SNPD
2004
15 years 8 months ago
Addressing State Explosion in Behavior Protocol Verification
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
Martin Mach, Frantisek Plasil
WWW
2006
ACM
16 years 7 months ago
Towards DSL-based web engineering
Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...
Martin Nussbaumer, Patrick Freudenstein, Martin Ga...