373 search results - page 30 / 75 » Model Checking Techniques applied to the design of Web Servi... |
PODS
2003
ACM
15 years 9 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
81
Voted
APSCC
2007
IEEE
15 years 4 months ago
2007
IEEE
Although grid computing has adopted Web services technology to deal with platforms heterogeneity and to enhance service and application interoperability, it is still a challenge t...
103
click to vote
ASPDAC
2001
ACM
15 years 1 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
SEKE
2005
Springer
15 years 3 months ago
2005
Springer
With the adoption to Web service technologies, more and more existing non-service-oriented software systems turn to be legacy systems. They require a service-oriented reengineerin...
JDCTA
2010
14 years 4 months ago
2010
With the rapid development of Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC), the Quality of Service (QoS) is more and more essential than before. There ...