Sciweavers

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