2517 search results - page 355 / 504 » Specifying Weak Sets |
141
click to vote
ISM
2006
IEEE
16 years 17 days ago
2006
IEEE
We consider Multimedia applications where clients specify a minimum desired stream rate (quality) and a time till when they are willing to wait, termed delay tolerance. The Conten...
192
click to vote
ACMSE
2006
ACM
16 years 16 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
181
click to vote
SAC
2006
ACM
16 years 15 days ago
2006
ACM
Bringing ubiquitous computing applications to home environments is a great challenge. In our research we investigate how applications can be conceived, designed, and implemented t...
165
click to vote
CSFW
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
191
click to vote
CSMR
2005
IEEE
16 years 5 days ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...