873 search results - page 13 / 175 » step 2005 |
100
click to vote
CONCUR
2005
Springer
15 years 5 months 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...
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
MSS
2005
IEEE
15 years 5 months ago
2005
IEEE
We present a policy-based architecture STEPS for lifecycle management (LCM) in a mass scale distributed file system. The STEPS architecture is designed in the context of IBM’s ...
SCALESPACE
2005
Springer
15 years 5 months ago
2005
Springer
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
100
click to vote
PKDD
2005
Springer
15 years 5 months ago
2005
Springer
We examine the problem of monitoring and identification of correlated burst patterns in multi-stream time series databases. Our methodology is comprised of two steps: a burst dete...