277 search results - page 33 / 56 » Timing-Sensitive Information Flow Analysis for Synchronous S... |
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Video-surveillance systems are becoming more and more autonomous in the detection and the reporting of abnormal events. In this context, this paper presents an approach to detect ...
104
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
: Direct application of network coding at the physical layer - physical layer network coding (PNC) - is a promising technique for two-way relay wireless networks. In a two-way rela...
192
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
137
click to vote
CAU
2004
15 years 1 months ago
2004
Protecting data is not simply a case of encrypt and forget: even data with full cryptographic confidentiality and integrity protection can still be subject to information leakage. ...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...