8109 search results - page 1129 / 1622 » A Model of Component-Based Programming |
172
click to vote
BIBM
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
183
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
182
click to vote
SIGSOFT
2006
ACM
16 years 24 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
211
click to vote
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
197
click to vote
EMSOFT
2005
Springer
16 years 11 days ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...