Sciweavers

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