722 search results - page 91 / 145 » Information Theory and Security: Quantitative Information Fl... |
ICTAC
2009
Springer
15 years 6 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
109
Voted
IJWIS
2007
14 years 11 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...
WWW
2003
ACM
16 years 16 days ago
2003
ACM
This paper describes a new paradigm for modeling traffic levels on the world wide web (WWW) using a method of entropy maximization. This traffic is subject to the conservation con...
CHI
2004
ACM
16 years 6 days ago
2004
ACM
The term immersion is widely used to describe games but it is not clear what immersion is or indeed if people are using the same word consistently. This paper describes work done ...