1150 search results - page 21 / 230 » Specifying Information-Flow Controls |
FTRTFT
1992
Springer
14 years 1 months ago
1992
Springer
FCCM
1998
IEEE
14 years 1 months ago
1998
IEEE
E cient, deeply pipelined implementations exist for a wide variety of important computation-intensive applications, and many special-purpose hardware machines have been built that...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
ESCIENCE
2007
IEEE
14 years 1 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...