2290 search results - page 30 / 458 » Extensible Protected Types |
NOMS
2006
IEEE
14 years 1 months ago
2006
IEEE
— The importance of the routers in the network and the vulnerability in the nature of the link state routing protocol highlight the necessity of effective routing protection agai...
PERVASIVE
2007
Springer
14 years 1 months ago
2007
Springer
As pervasive environments become more commonplace, the privacy of users is placed at increased risk. The numerous and diverse sensors in these environments can record users’ cont...
ICONFERENCE
2011
13 years 2 months ago
2011
In this paper, we present findings from a qualitative study of producers in a specific creative domain—online digital photography. We used social psychology and linguistic conce...
TLDI
2005
ACM
14 years 1 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...