Sciweavers

12289 search results - page 200 / 2458
» computing 2006
Sort
View
SAC
2006
ACM
16 years 11 days ago
Automated generation of monitors for pattern contracts
Benjamin Tyler, Jason O. Hallstrom, Neelam Soundar...
BIRTHDAY
2006
Springer
15 years 10 months ago
Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems
Christian Glaßer, Alan L. Selman, Liyu Zhang