3053 search results - page 260 / 611 » Web Engineering - Introduction |
181
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
192
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Loose coupling is often quoted as a desirable property of systems architectures. One of the main goals of building systems using Web technologies is to achieve loose coupling. How...
155
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Several Web sites deliver a large number of pages, each publishing data about one instance of some real world entity, such as an athlete, a stock quote, a book. Even though it is ...
210
click to vote
SEAA
2008
IEEE
16 years 29 days ago
2008
IEEE
Grid access methods are still dominated by command line tools or manually developed, problem specific graphical user interfaces. This fact reduces the acceptance of the Grid for ...
166
click to vote
ICCSA
2007
Springer
16 years 22 days ago
2007
Springer
The crawler engines of today cannot reach most of the information contained in the Web. A great amount of valuable information is “hidden” behind the query forms of online data...