81 search results - page 13 / 17 » Controlling information release in the pi-calculus |
KBSE
2006
IEEE
14 years 3 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
WOWMOM
2006
ACM
14 years 3 months ago
2006
ACM
: Nowadays many organisations share sensitive services through open network systems and this raises the need for an authorization framework that can interoperate even when the part...
IWIA
2003
IEEE
14 years 3 months ago
2003
IEEE
Past active Internet worms have caused widespread damage. Knowing the connection characteristics of such a worm very early in its proliferation cycle might provide first responde...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
Privacy--the protection of information from unauthorized disclosure--is increasingly scarce on the Internet, and yet increasingly important as every user becomes both a content co...
NAR
2002
13 years 9 months ago
2002
Transcription Regulatory Regions Database (TRRD) is an informational resource containing an integrated description of the gene transcription regulation. An entry of the database c...