146 search results - page 19 / 30 » Secure information flow for a concurrent language with sched... |
ESIAT
2009
IEEE
13 years 6 months ago
2009
IEEE
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
ISSTA
2010
ACM
14 years 7 days ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...