359 search results - page 46 / 72 » Modeling Consensus in a Process Calculus |
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
WER
2004
Springer
14 years 3 months ago
2004
Springer
With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for sem...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
The design of the defenses Internet systems can deploy against attack, especially adaptive and resilient defenses, must start from a realistic model of the threat. This requires an...
ANTSW
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we study how an opinion dynamics model can be the core of a collective decision-making mechanism for swarm robotics. Our main result is that when opinions represent ...
CONCUR
2009
Springer
13 years 7 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...