Sciweavers

8555 search results - page 362 / 1711
» Property Based Coordination
Sort
View
EDOC
2006
IEEE
16 years 1 months ago
Scheduling Real-Time Components Using Jitter-Constrained Streams
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
Claude-Joachim Hamann, Steffen Zschaler
SEKE
2005
Springer
16 years 1 months ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
ITRUST
2004
Springer
16 years 28 days ago
Human Experiments in Trust Dynamics
In the literature, the validity of theories or models for trust is usually based on intuition and common sense. Theories and models are not often verified experimentally. The rese...
Catholijn M. Jonker, Joost J. P. Schalken, Jan The...
200
Voted
MABS
2004
Springer
16 years 28 days ago
Simulation and Analysis of Shared Extended Mind
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut...
CSFW
2002
IEEE
16 years 16 days ago
Probabilistic Analysis of Anonymity
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
Vitaly Shmatikov