2786 search results - page 98 / 558 » A Practical Technique for Process Abstraction |
ASIAN
2006
Springer
15 years 5 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...
JLP
2006
15 years 1 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 ...
109
Voted
IJNS
2010
15 years 3 days 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...
113
click to vote
BPM
2006
Springer
15 years 5 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...
100
click to vote
ICPR
2010
IEEE
14 years 11 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...