8469 search results - page 1480 / 1694 » An Agent-Environment Interaction Model |
132
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
138
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
118
click to vote
HUC
2007
Springer
15 years 10 months ago
2007
Springer
Domestic technologies have been a popular area of study for ubiquitous computing researchers, however there is relatively little recent data on how families currently use and share...
110
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
New insights have been gained recently into the interplay between complex network architectures and the collective dynamics of simple elements coupled through them. The usual parad...
147
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...