2486 search results - page 132 / 498 » A Type System for Computationally Secure Information Flow |
UCS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper proposes an extended framework for service provision for ubiquitous spaces based on Kerberos. The framework allows groups of services and information about ord...
ACMSE
2005
ACM
14 years 2 months ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...
MIDDLEWARE
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
PUC
2002
13 years 8 months ago
2002
: Sentient Computing provides computers with perception so that they can react and provide assistance to user activities. Physical spaces are made sentient when they are wired with...
PAM
2011
Springer
12 years 11 months ago
2011
Springer
More than 20 years after the launch of the public Internet, operator forums are still full of reports about temporary unreachability of complete networks. We propose FACT, a system...