4341 search results - page 452 / 869 » Quantitative Model checking |
167
click to vote
JWSR
2007
15 years 6 months ago
2007
: Business processes continue to play an important role in today’s service-oriented enterprise computing systems. Mining, discovering, and integrating process-oriented services h...
173
click to vote
ESE
2002
15 years 6 months ago
2002
Software inspection is one of the key enablers for quality improvement and defect cost reduction. Although its benefits are shown in many studies, a major obstacle to implement an...
190
click to vote
ICDIM
2010
IEEE
15 years 4 months ago
2010
IEEE
Recommender systems have been proposed to exploit the potential of social network by filtering the information and offer recommendations to a user that he is predicted to like. Co...
198
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Over the last few years, genome-wide association (GWA) studies became a tool of choice for the identification of loci associated with complex traits. Currently, impute...
209
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...