Sciweavers

1893 search results - page 33 / 379
» Computational composites
Sort
View
CONCUR
1995
Springer
15 years 9 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
CGA
2006
15 years 6 months ago
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
Pin Ren, Yan Gao, Zhichun Li, Yan Chen, Benjamin W...