7961 search results - page 1098 / 1593 » Input-Output Model Programs |
172
click to vote
ESWS
2007
Springer
16 years 26 days 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...
173
click to vote
SIGSOFT
2006
ACM
16 years 19 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...
202
click to vote
KBSE
2005
IEEE
16 years 8 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...
190
click to vote
EMSOFT
2005
Springer
16 years 6 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...
183
click to vote
PRICAI
2004
Springer
16 years 1 days ago
2004
Springer
MicroRNA (miRNA), one of non-coding RNAs (ncRNAs), regulates gene expression directly by arresting the messenger RNA (mRNA) translation, which is important for identifying putative...