Sciweavers

4281 search results - page 756 / 857
» How to Disembed a Program
Sort
View
SAC
2009
ACM
14 years 5 months ago
Specifying and checking protocols of multithreaded classes
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...
Clément Hurlin
EDBT
2009
ACM
113views Database» more  EDBT 2009»
14 years 5 months ago
Query ranking in probabilistic XML data
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...
Lijun Chang, Jeffrey Xu Yu, Lu Qin
FOSSACS
2009
Springer
14 years 5 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
CEC
2009
IEEE
14 years 5 months ago
Crosstalk and the cooperation of collectively autocatalytic reaction networks
— 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...
James Decraene, George G. Mitchell, Barry McMullin
CSMR
2009
IEEE
14 years 5 months ago
Comparing Stability of Implementation Techniques for Multi-agent System Product Lines
Multi-agent systems (MAS) are increasingly being exploited to support autonomous recommendation of products and information to contemporary application users. Multi-agent system p...
Camila Nunes, Uirá Kulesza, Cláudio ...