4281 search results - page 756 / 857 » How to Disembed a Program |
SAC
2009
ACM
15 years 7 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
123
click to vote
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
Twig queries have been extensively studied as a major fragment of XPATH queries to query XML data. In this paper, we study PXMLRANK query, (Q, k), which is to rank top-k probabili...
108
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
100
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— We examine a potential role of signalling crosstalk in Artificial Cell Signalling Networks (ACSNs). In this research, we regard these ACSNs or Artificial Biochemical Networks...
88
Voted
CSMR
2009
IEEE
15 years 7 months ago
2009
IEEE
Multi-agent systems (MAS) are increasingly being exploited to support autonomous recommendation of products and information to contemporary application users. Multi-agent system p...