Sciweavers

3238 search results - page 33 / 648
» On the Computational Interpretation of Negation
Sort
View
ISSADS
2005
Springer
14 years 3 months ago
Interpretation of UML Sequence Diagrams as Causality Flows
Christophe Sibertin-Blanc, Omar Tahir, Janette Car...
EGICE
2006
14 years 1 months ago
Model Free Interpretation of Monitoring Data
Daniele Posenato, Francesca Lanata, Daniele Inaudi...
TCS
1998
13 years 9 months ago
The Quotient of an Abstract Interpretation
Agostino Cortesi, Gilberto Filé, William H....