373 search results - page 41 / 75 » Model Checking Techniques applied to the design of Web Servi... |
112
click to vote
DOCENG
2011
ACM
13 years 9 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
88
Voted
TSE
2008
14 years 9 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
JTAER
2008
14 years 8 months ago
2008
Innovative eCustoms solutions play an important role in the pan-European eGovernment strategy. The underlying premise is interoperability postulating a common understanding of pro...
ICSOC
2009
Springer
14 years 7 months ago
2009
Springer
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
ICAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Methods for automatically managing the performance of computing services must estimate a performance model of that service. This paper explores properties that are necessary for p...