354 search results - page 21 / 71 » Consistency between Executable and Abstract Processes |
164
click to vote
ADBIS
2005
Springer
15 years 11 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
144
click to vote
WECWIS
2006
IEEE
15 years 12 months ago
2006
IEEE
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
140
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
173
click to vote
B
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
162
click to vote
MODELLIERUNG
2004
15 years 7 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...