Now showing items 21-24 of 24
(Springer, 2007)We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services whose behavioural interface is specified in ...
Agent societies and service choreographies: A declarative approach to specification and verification(MALLOW-AWESOME, 2007)The need for specifying choreographies when developing service oriented systems recently arose as an important issue. Although declarativeness has been identified as a key feature, several proposed approaches model ...
(Springer, 2009)Several computer-based approaches to Clinical Guidelines have been developed in the last two decades. However, only recently the community has started to cope with the fact that Clinical Guidelines are just a part of the ...