218 search results - page 13 / 44 » A theory of contracts for web services |
107
click to vote
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
106
click to vote
IAJIT
2010
14 years 10 months ago
2010
: Web services are considered one of the main technologies which emerged in recent years, they provide an application integration technology that allows business applications to co...
161
click to vote
CADE
2002
Springer
16 years 4 min ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
102
click to vote
IADIS
2003
15 years 1 months ago
2003
The authors introduce a decision chart previously developed to identify web site features that would be suitable for small businesses in their interactions with customers. The dec...