Sciweavers

3504 search results - page 346 / 701
» Computational Aspects of Equilibria
Sort
View
183
Voted
ICARIS
2007
Springer
15 years 10 months ago
Regulatory T Cells: Inspiration for Artificial Immune Systems
In this conceptual paper, some features of regulatory T cells are described. These cells have been receiving an increasing attention in Immunological research, due to their importa...
Thiago S. Guzella, Tomaz A. Mota-Santos, Walmir M....
ARCS
2006
Springer
15 years 10 months ago
Safety, Liveness, and Information Flow: Dependability Revisited
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
Zinaida Benenson, Felix C. Freiling, Thorsten Holz...
COOPIS
2004
IEEE
15 years 10 months ago
Cooperative Artefacts
In this position paper we introduce Cooperative Artefacts, physical objects that embed sensing, communication, computation and actuation in physical objects. In contrast to many ot...
Hans-Werner Gellersen
ESAW
2006
Springer
15 years 10 months ago
Privacy Management in User-Centred Multi-agent Systems
Abstract. In all user-centred agent-based applications, for instance in the context of ambient computing, the user agent is often faced to a difficult trade-off between the protect...
Guillaume Piolle, Yves Demazeau, Jean Caelen
ECAI
2000
Springer
15 years 10 months ago
Qualitative Spatial Reasoning about Line Segments
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
Reinhard Moratz, Jochen Renz, Diedrich Wolter