12084 search results - page 2347 / 2417 » Effect Systems with Subtyping |
CSCW
2008
ACM
14 years 1 days ago
2008
ACM
When involved in collaborative tasks, users often choose to use multi-synchronous applications in order to concurrently work in isolation. Hence, privacy of their changes is maint...
DIMEA
2008
14 years 15 hour ago
2008
Information is becoming pervasive in the contemporary society, and is increasingly saturating the visual senses and the cognitive efforts of the lay masses. As our attention for v...
ESORICS
2008
Springer
14 years 10 hour ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
ESORICS
2008
Springer
14 years 10 hour ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
FGR
2008
IEEE
14 years 5 hour ago
2008
IEEE
The phenomenal growth of video on the web and the increasing sparseness of meta information associated with it forces us to look for signals from the video content for search/info...