Sciweavers

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