Sciweavers

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