Sciweavers

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