303 search results - page 42 / 61 » Unifying Theories of Confidentiality |
ICFP
2007
ACM
14 years 9 months ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
—The hidden knowledge in social networks data can be regarded as an important resource for criminal investigations which can help finding the structure and organization of a crim...
CRV
2007
IEEE
14 years 4 months ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— Traditionally, visual servoing is separated into tracking and control subsystems. This separation, though convenient, is not necessarily well justified. When tracking and cont...