Sciweavers

27119 search results - page 234 / 5424
» Languages
Sort
View
CICLING
2007
Springer
16 years 1 months ago
Latent Variable Models for Causal Knowledge Acquisition
Takashi Inui, Hiroya Takamura, Manabu Okumura
ECOOP
2007
Springer
16 years 1 months ago
Joinpoint Inference from Behavioral Specification to Implementation
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
ESOP
2007
Springer
16 years 1 months ago
Abstract Predicates and Mutable ADTs in Hoare Type Theory
Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, L...
ESOP
2007
Springer
16 years 1 months ago
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio