1728 search results - page 164 / 346 » Formal Modeling of Process Migration |
104
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
146
Voted
COSIT
2007
Springer
15 years 7 months ago
2007
Springer
Consistent and flawless communication between humans and machines is the precondition for a computer to process instructions correctly. While machines use well-defined languages an...
116
click to vote
FDL
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
134
click to vote
BIOCOMP
2007
15 years 4 months ago
2007
Abstract—This paper presents a stochastic modelling framework for complex biochemical reaction networks from a component-based perspective. Our approach takes into account the di...
127
click to vote
FMSD
2006
15 years 3 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...