533 search results - page 48 / 107 » Control flow based obfuscation |
152
Voted
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...
108
Voted
TCS
2010
15 years 27 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
111
click to vote
TON
2010
14 years 9 months ago
2010
When heterogeneous congestion control protocols that react to different pricing signals share the same network, the current theory based on utility maximization fails to predict th...
145
click to vote
CSFW
2007
IEEE
15 years 6 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
127
click to vote
AAAI
2008
15 years 4 months ago
2008
This paper summarizes recent advances in the application of multiagent coordination algorithms to air traffic flow management. Indeed, air traffic flow management is one of the fu...