2450 search results - page 114 / 490 » On Application of Structural Decomposition for Process Model... |
130
click to vote
JEI
2010
15 years 2 months ago
2010
Abstract. Objective image and video quality measures play important roles in numerous image and video processing applications. In this work, we propose a new content-weighted metho...
158
click to vote
ZUM
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
155
click to vote
DASFAA
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract. The efficient management of interval sequences represents a core requirement for many temporal and spatial database applications. With the Relational Interval Tree (RI-tr...
173
click to vote
TII
2008
15 years 4 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
118
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...