Search Sciweavers | Sciweavers

27

ATAL
2006
Springer

248views Intelligent Agents» more ATAL 2006»

Automated semantic web service discovery with OWLS-MX

14 years 1 months ago

We present an approach to hybrid semantic Web service matching that complements logic based reasoning with approximate matching based on syntactic IR based similarity computations...

Matthias Klusch, Benedikt Fries, Katia P. Sycara

claim paper

Read More »

23

click to vote

ATAL
2006
Springer

158views Intelligent Agents» more ATAL 2006»

Automated analysis and verification of agent behavior

14 years 1 months ago

Download www.cs.vu.nl

Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...

Tibor Bosse, Dung N. Lam, K. Suzanne Barber

claim paper

Read More »

43

click to vote

CASSIS
2004
Springer

118views Human Computer Interaction» more CASSIS 2004»

Verification of Safety Properties in the Presence of Transactions

14 years 1 months ago

Download www.cse.chalmers.se

The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...

Reiner Hähnle, Wojciech Mostowski

claim paper

Read More »

29

click to vote

AAI
2006

89views more AAI 2006»

Compliance verification of agent interaction: a logic-based software tool

13 years 10 months ago

Download lia.deis.unibo.it

In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...

Marco Alberti, Marco Gavanelli, Evelina Lamma, Fed...

claim paper

Read More »

25

click to vote

AMEC
2004
Springer

225views Intelligent Agents» more AMEC 2004»

"CONFESS". Eliciting Honest Feedback Without Independent Verification Authorities

14 years 3 months ago