2253 search results - page 243 / 451 » Computing with Realizational Morphology |
178
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
We consider the challenge of dynamically adapting services to context changes that occur in ubiquitous computing environments (e.g., changes in a user's activity) and propose ...
150
click to vote
WSC
2008
15 years 9 months ago
2008
Spatial phenomena attract increasingly interest in computational biology. Molecular crowding, i.e. a dense population of macromolecules, is known to have a significant impact on t...
204
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
161
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
156
click to vote
DIMVA
2010
15 years 8 months ago
2010
We present Conqueror, a software-based attestation scheme for tamper-proof code execution on untrusted legacy systems. Beside providing load-time attestation of a piece of code, Co...