Sciweavers

4349 search results - page 635 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
BMCBI
2007
120views more  BMCBI 2007»
15 years 3 months ago
Non-coding sequence retrieval system for comparative genomic analysis of gene regulatory elements
Background: Completion of the human genome sequence along with other species allows for greater understanding of the biochemical mechanisms and processes that govern healthy as we...
Sung Tae Doh, Yunyu Zhang, Matthew H. Temple, Li C...
POPL
2008
ACM
16 years 4 months ago
Multiparty asynchronous session types
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
Kohei Honda, Nobuko Yoshida, Marco Carbone
EOR
2007
101views more  EOR 2007»
15 years 3 months ago
Optimizing an objective function under a bivariate probability model
The motivation of this paper is to obtain an analytical closed form of a quadratic objective function arising from a stochastic decision process with bivariate exponential probabi...
Xavier Brusset, Nico M. Temme
ICCS
2009
Springer
15 years 10 months ago
An Intelligent Tutoring System for Interactive Learning of Data Structures
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
Rafael del Vado Vírseda, Pablo Ferná...
ISSTA
2006
ACM
15 years 9 months ago
Integrating customized test requirements with traditional requirements in web application testing
Existing test suite reduction techniques employed for testing web applications have either used traditional program coverage-based requirements or usage-based requirements. In thi...
Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lor...