6293 search results - page 377 / 1259 » Information Flow Testing |
143
Voted
SIGCOMM
2000
ACM
15 years 8 months ago
2000
ACM
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...
165
click to vote
TIC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both te...
123
click to vote
USS
2008
15 years 7 months ago
2008
One of the most critical steps of any security review involves identifying the trust boundaries that an application is exposed to. While methodologies such as threat modeling can ...
145
click to vote
BIOSTEC
2008
15 years 6 months ago
2008
Abstract. To gain competitive advantage, hospitals try to streamline their processes. In order to do so, it is essential to have an accurate view of the "careflows" under...
163
Voted
ICWS
2008
IEEE
15 years 6 months ago
2008
IEEE
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...