4281 search results - page 756 / 857 » How to Disembed a Program |
SAC
2009
ACM
14 years 5 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...
EDBT
2009
ACM
14 years 5 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...
FOSSACS
2009
Springer
14 years 5 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....
CEC
2009
IEEE
14 years 5 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...
CSMR
2009
IEEE
14 years 5 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...