373 search results - page 36 / 75 » Model Checking Techniques applied to the design of Web Servi... |
WECWIS
2005
IEEE
15 years 3 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 ...
IEEESCC
2007
IEEE
15 years 4 months 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...
WWW
2010
ACM
15 years 3 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...
DATE
2006
IEEE
15 years 3 months 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...
104
click to vote
IJCAT
2010
14 years 8 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...