132 search results - page 18 / 27 » A Component-Based Approach for Realizing User-Centric Adapti... |
CSFW
2004
IEEE
14 years 10 days ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
DSOM
2009
Springer
14 years 3 months ago
2009
Springer
Rendering networks and distributed systems self-managing and self-optimizing has become a major research focus. This task is especially important for systems, such as publish/subsc...
ALIFE
2005
13 years 8 months ago
2005
We analyze the conditions for agency in natural and artificial systems. In the case of basic (natural) autonomous systems, self-construction and activity in the environment are two...
EMISA
2006
Springer
14 years 8 days ago
2006
Springer
: Nowadays businesses often decide to form networked value constellations in order to satisfy complex customer needs. To fulfill the value-based requirements of an e-Business idea ...
BIRTHDAY
2010
Springer
14 years 1 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...