Sciweavers

896 search results - page 95 / 180
» Stepwise Refinement of Processes
Sort
View
104
Voted
ICIP
2007
IEEE
16 years 4 months ago
Joint Localization and Parameter Estimation for Localized Calcium Release Events in Video Microscopy
This paper addresses modeling and inference for localized calcium release events observed in cardiac muscle tissue known as sparks, a recently discovered and little-understood phe...
Benjamin P. Olding, Patrick J. Wolfe
IWPC
2006
IEEE
15 years 8 months ago
An Approach for Extracting Workflows from E-Commerce Applications
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
Ying Zou, Maokeng Hung
116
Voted
IEEESCC
2005
IEEE
15 years 8 months ago
An ECA Rule-based Workflow Design Tool for Shanghai Grid
Service integration, the ultimate goal of Shanghai Grid, has created a necessity for more efficient and effective workflow infrastructure. Workflow design tool is one core compone...
Lin Chen, Minglu Li, Jian Cao, Yi Wang
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
15 years 6 months ago
On process-algebraic verification of asynchronous circuits
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
Xu Wang, Marta Z. Kwiatkowska
129
Voted
ISORC
2000
IEEE
15 years 6 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm