2162 search results - page 261 / 433 » Distributed Computation of Web Queries Using Automata |
155
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
170
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
160
click to vote
EUROPAR
2005
Springer
16 years 21 hour ago
2005
Springer
Ibis1 is a programming environment for the development of grid applications in Java. We aim to support a wide range of applications and parallel platforms, so our example programs ...
184
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
We are interested in new ways of threats and attack on the e-commerce. The server side of e-commerce platform is usually very well protected and secured. Unfortunately, this is no...
218
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-based declarative queries are becoming an attractive paradigm for interacting with many data stream applications. This has led to the development of techniques to accurately...