Sciweavers

4722 search results - page 182 / 945
» Encoding Program Executions
Sort
View
117
Voted
BMCBI
2008
120views more  BMCBI 2008»
15 years 5 months ago
E-CAI: a novel server to estimate an expected value of Codon Adaptation Index (eCAI)
Background: The Codon Adaptation Index (CAI) is a measure of the synonymous codon usage bias for a DNA or RNA sequence. It quantifies the similarity between the synonymous codon u...
Pere Puigbò, Ignacio G. Bravo, Santiago Gar...
BMCBI
2004
131views more  BMCBI 2004»
15 years 4 months ago
A web services choreography scenario for interoperating bioinformatics applications
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
Remko de Knikker, Youjun Guo, Jin-long Li, Albert ...
CADE
2008
Springer
16 years 5 months ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs
ICMAS
1998
15 years 6 months ago
Agent-Oriented Programming of Manufacturing Control Tasks
The success of agent-oriented concepts in various application domains, in particular in manufacturing control, creates the need for an agent-oriented analysis, design, and program...
Stefan Bussmann
POPL
2010
ACM
15 years 7 months ago
Programming with angelic nondeterminism
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
Rastislav Bodík, Satish Chandra, Joel Galen...