Sciweavers

5675 search results - page 33 / 1135
» Formalising Performative Interaction
Sort
View
INFOCOM
2005
IEEE
15 years 3 months ago
New insights from a fixed point analysis of single cell IEEE 802.11 WLANs
— We study a fixed point formalisation of the well known analysis of Bianchi [3]. We provide a significant simplification and generalisation of the analysis. In this more gene...
Anurag Kumar, Eitan Altman, Daniele Miorandi, Muni...
ARGMAS
2005
Springer
15 years 3 months ago
Practical Strategic Reasoning and Adaptation in Rational Argument-Based Negotiation
Recent years have seen an increasing interest of multiagent system research in employing the theory of argumentation for the development of communication protocols. While signific...
Michael Rovatsos, Iyad Rahwan, Felix A. Fischer, G...
ICTAC
2005
Springer
15 years 3 months ago
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
Reiko Heckel
DIS
2004
Springer
15 years 3 months ago
On the Convergence of Incremental Knowledge Base Construction.
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...
Tri M. Cao, Eric Martin, Paul Compton
PAAMS
2010
Springer
14 years 7 months ago
Towards Improving Supply Chain Coordination through Agent-Based Simulation
Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...
Areti Manataki, Yun-Heh Chen-Burger, Michael Rovat...