1377 search results - page 58 / 276 » Flit-Reservation Flow Control |
127
click to vote
BPSC
2010
15 years 15 days ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
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...
136
Voted
ICRA
2010
IEEE
15 years 12 days ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
107
click to vote
TCS
2010
15 years 25 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...
125
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...