3 search results - page 1 / 1 » SDL for Real-Time: What is Missing |
SAM
2000
13 years 6 months ago
2000
OSDI
2006
ACM
14 years 5 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
ICNSC
2007
IEEE
13 years 11 months ago
2007
IEEE
— Flow level measurements are used to provide insights into the traffic flow crossing a network link. However, existing flow based network detection devices lack adaptive reconfi...