5675 search results - page 28 / 1135 » Formalising Performative Interaction |
168
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
ICSE
2007
IEEE-ACM
15 years 3 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
FDL
2006
IEEE
15 years 3 months ago
2006
IEEE
Needs in the worldwide competition push teams to master more and more their design flow in order to minimize risks, costs, time to market, and potential liabilities. The classical...
SOFSEM
2009
Springer
15 years 2 months ago
2009
Springer
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
ECOWS
2006
Springer
15 years 1 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...