Sciweavers

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