2501 search results - page 23 / 501 » Obligations and Their Interaction with Programs |
CHI
2006
ACM
15 years 10 months ago
2006
ACM
107
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: Although homology-based methods are among the most widely used methods for predicting the structure and function of proteins, the question as to whether interface sequ...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
105
click to vote
KBSE
2000
IEEE
15 years 1 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
In a service-oriented architecture, service compositions are assembled from other component services. Such compositions may include services from unknown and potentially untrusted...