2162 search results - page 61 / 433 » Distributed Computation of Web Queries Using Automata |
140
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
152
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
146
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
147
click to vote
IJET
2006
15 years 4 months ago
2006
: The challenge of the semantic web is the provision of distributed information with well defined meaning, understandable for different parties. Particularly, applications should b...
143
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
The World Wide Web is playing a major role in reducing business costs and in providing convenience to users. Digital Libraries capitalize on this technology to distribute document...