12084 search results - page 189 / 2417 » Effect Systems with Subtyping |
SIGSOFT
2008
ACM
14 years 11 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
CHI
2004
ACM
14 years 11 months ago
2004
ACM
We introduce a new methodology to evaluate the perceived quality of video with variable physical quality. The methodology is then used to assess an existing guideline that high fr...
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
Estimating the number of distinct elements in a large multiset has several applications, and hence has attracted active research in the past two decades. Several sampling and sket...
ICCD
2007
IEEE
14 years 7 months ago
2007
IEEE
This paper proposes Dynamic Thermal Management (DTM) based on a dynamic voltage and frequency scaling (DVFS) technique for MPEG-4 decoding to guarantee thermal safety while mainta...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
Millions of laypersons need more medical information than they are customarily provided during their doctor’s visit. Health websites can help fill this knowledge gap, but the te...