Sciweavers

2088 search results - page 247 / 418
» The SPARK Agent Framework
Sort
View
160
Voted
ATAL
2010
Springer
15 years 7 months ago
Runtime monitoring of contract regulated web services
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
Alessio Lomuscio, Monika Solanki, Wojciech Penczek...
JAIR
2008
126views more  JAIR 2008»
15 years 6 months ago
Cooperative Search with Concurrent Interactions
In this paper we show how taking advantage of autonomous agents' capability to maintain parallel interactions with others, and incorporating it into the cooperative economic ...
Efrat Manisterski, David Sarne, Sarit Kraus
ADMA
2010
Springer
314views Data Mining» more  ADMA 2010»
15 years 4 months ago
Best Clustering Configuration Metrics: Towards Multiagent Based Clustering
Multi-Agent Clustering (MAC) requires a mechanism for identifying the most appropriate cluster configuration. This paper reports on experiments conducted with respect to a number o...
Santhana Chaimontree, Katie Atkinson, Frans Coenen
IAT
2010
IEEE
15 years 4 months ago
Location-Based Semantic Matchmaking in Ubiquitous Computing
Ever increasing efforts are spent in developing techniques and tools for a full exploitation of semantics in mobile environments, able to overcome volatility and resource limitati...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...
TARK
2007
Springer
16 years 23 days ago
Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
Thomas Ågotnes, Natasha Alechina