4286 search results - page 326 / 858 » Formalizing Service Interactions |
171
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
181
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In biological and medical domain, the use of web services made the data and computation functionality accessible in a unified manner, which helped automate the data pi...
157
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we propose an integrated platform to power the symbiosis between networks and services whilst supporting mobility of users. This platform is based on methods for a...
195
click to vote
NTMS
2008
IEEE
16 years 1 months ago
2008
IEEE
—The concept of Mobile Web Services (Mob-WS) is catching pace within research communities due to rapid classification of mobile devices enabling pervasive environments. A Web Se...
150
click to vote
QSIC
2007
IEEE
16 years 26 days ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...