Sciweavers

5482 search results - page 633 / 1097
» Logic Programming and Databases
Sort
View
JIT
2004
Springer
204views Database» more  JIT 2004»
16 years 7 days ago
Ercatons: Thing-Oriented Programming
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
Oliver Imbusch, Falk Langhammer, Guido von Walter
SIGMOD
2010
ACM
202views Database» more  SIGMOD 2010»
15 years 5 months ago
Beyond isolation: research opportunities in declarative data-driven coordination
There are many database applications that require users to coordinate and communicate. Friends want to coordinate travel plans, students want to jointly enroll in the same set of ...
Lucja Kot, Nitin Gupta 0003, Sudip Roy, Johannes G...
ICSE
2004
IEEE-ACM
16 years 7 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
BMCBI
2002
108views more  BMCBI 2002»
15 years 6 months ago
A memory-efficient dynamic programming algorithm for optimal alignment of a sequence to an RNA secondary structure
Background: Covariance models (CMs) are probabilistic models of RNA secondary structure, analogous to profile hidden Markov models of linear sequence. The dynamic programming algo...
Sean R. Eddy
BMCBI
2010
128views more  BMCBI 2010»
15 years 7 months ago
MPprimer: a program for reliable multiplex PCR primer design
Background: Multiplex PCR, defined as the simultaneous amplification of multiple regions of a DNA template or multiple DNA templates using more than one primer set (comprising a f...
Zhiyong Shen, Wubin Qu, Wen Wang, Yiming Lu, Yongh...