146 search results - page 5 / 30 » Automated Abstractions for Contract Validation |
FIW
2009
13 years 5 months ago
2009
Abstract. We explore and discuss different ways of expressing service specifications in the context of home automation systems implemented on OSGiTM. We found that the approach use...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
ECAI
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
ASM
2003
ASM
14 years 22 days ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
DLOG
2007
13 years 9 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...