Sciweavers

3357 search results - page 412 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
SAC
2010
ACM
15 years 6 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
BMCBI
2007
135views more  BMCBI 2007»
15 years 6 months ago
RECOVIR: An application package to automatically identify some single stranded RNA viruses using capsid protein residues that un
Background: Most single stranded RNA (ssRNA) viruses mutate rapidly to generate large number of strains having highly divergent capsid sequences. Accurate strain recognition in un...
Dianhui Zhu, George E. Fox, Sugoto Chakravarty
BMCBI
2010
185views more  BMCBI 2010»
15 years 1 months ago
MetaPIGA v2.0: maximum likelihood large phylogeny estimation using the metapopulation genetic algorithm and other stochastic heu
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
Raphaël Helaers, Michel C. Milinkovitch
144
Voted
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
15 years 11 months ago
An Epistemological Taxonomy for Knowledge Management Systems Analysis
Knowledge Management Systems (KMS) play increasingly important roles in organizations due to the realization of the value of knowledge and capabilities of computerized systems to ...
Bandula Jayatilaka, Jinyoul Lee
DAWAK
2006
Springer
15 years 8 months ago
Towards Multidimensional Requirement Design
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...