1477 search results - page 118 / 296 » Token flow control |
118
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
121
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Today’s air traffic management system is not expected to scale to the projected increase in traffic over the next two decades. Enhanced collaboration between the controllers and...
133
click to vote
IWOMP
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
121
click to vote
EMISA
2004
Springer
15 years 9 months ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
111
click to vote
IANDC
2008
15 years 3 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...