13534 search results - page 2489 / 2707 » Modelling Human-Computer Interaction |
120
Voted
ECAL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
132
click to vote
ESAW
2007
Springer
15 years 8 months ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
115
Voted
ESORICS
2007
Springer
15 years 8 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...
118
Voted
FSEN
2007
Springer
15 years 8 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...
ICCS
2007
Springer
15 years 8 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...