2786 search results - page 98 / 558 » A Practical Technique for Process Abstraction |
124
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
140
click to vote
JLP
2006
15 years 6 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
166
click to vote
IJNS
2010
15 years 4 months ago
2010
Abstract: Cascade process, such as wastewater treatment plant, includes many nonlinear subsystems and many variables. When the number of sub-systems is big, the input-output relati...
162
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The application of process mining techniques to real-life corporate environments has been of an ad-hoc nature so far, focused on proving the concept. One major reason for...
144
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--In this paper we introduce a probabilistic approach of building extraction in remotely sensed images. To cope with data heterogeneity we construct a flexible hierarchical...