Sciweavers

3458 search results - page 444 / 692
» Abstracting Control
Sort
View
ALGOSENSORS
2006
Springer
15 years 6 months ago
Computing Bridges, Articulations, and 2-Connected Components in Wireless Sensor Networks
Abstract. This paper presents a simple distributed algorithm to determine the bridges, articulation points, and 2-connected components in asynchronous networks with an at least onc...
Volker Turau
BPM
2006
Springer
160views Business» more  BPM 2006»
15 years 6 months ago
Analyzing Interacting BPEL Processes
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
CAISE
2006
Springer
15 years 6 months ago
Incremental Workflow Mining for Process Flexibility
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...
Ekkart Kindler, Vladimir Rubin, Wilhelm Schäf...
CONCUR
2005
Springer
15 years 6 months ago
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
Pedro R. D'Argenio, Biniam Gebremichael
CVBIA
2005
Springer
15 years 6 months ago
Voronoi-Based Segmentation of Cells on Image Manifolds
Abstract. We present a method for finding the boundaries between adjacent regions in an image, where “seed” areas have already been identified in the individual regions to be...
Thouis R. Jones, Anne E. Carpenter, Polina Golland