2004 search results - page 384 / 401 » Support for activity-based computing in a personal computing... |
SP
2010
IEEE
13 years 7 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
DIM
2009
ACM
14 years 3 months ago
2009
ACM
This paper concerns the problem of identity management in modern Web-2.0-based mashup applications. Identity management supports convenient access to information when mashups are ...
ICCD
2000
IEEE
14 years 21 days ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
MINENET
2006
ACM
14 years 3 months ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
SENSYS
2005
ACM
14 years 2 months ago
2005
ACM
ng Link Abstraction for Wireless Sensor Networks Joseph Polastre, Jonathan Hui, Philip Levis, Jerry Zhao, David Culler, Scott Shenker, and Ion Stoica Computer Science Department In...