4211 search results - page 356 / 843 » Types as Abstract Interpretations |
212
click to vote
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
184
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--This correspondence revisits the joint transceiver optimization problem for multiple-input multiple-output (MIMO) channels. The linear transceiver as well as the transcei...
206
click to vote
ECOOP
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
168
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
eXpressive Internet Architecture (XIA) [1] is an architecture that natively supports multiple communication types and allows networks to evolve their abstractions and functionalit...
207
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...