373 search results - page 36 / 75 » Model Checking Techniques applied to the design of Web Servi... |
150
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
160
click to vote
IEEESCC
2007
IEEE
16 years 12 days ago
2007
IEEE
—Integration of heterogeneous information becomes again a requirement with the emergence of large-scale distributed applications such as Web-Services based Applications. Enterpri...
153
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
This paper addresses the problem of identifying redundant data in large-scale service-oriented information systems. Specifically, the paper puts forward an automated method to pi...
185
click to vote
DATE
2006
IEEE
16 years 4 days ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
196
click to vote
IJCAT
2010
15 years 4 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...