1477 search results - page 220 / 296 » Token flow control |
ZUM
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
WSC
2007
14 years 7 days ago
2007
Semiconductor wafer fabrication facilities (wafer fabs) are among the most complex production facilities. A large product variety, hundreds of processing steps per product, hundre...
AISB
2008
Springer
13 years 12 months ago
2008
Springer
Imagination is generally regarded as a very powerful and advanced cognitive ability. In this paper we propose a modelling framework for what we call functional imagination: the ab...
BPM
2008
Springer
13 years 12 months ago
2008
Springer
We present a field study of oncology workflow, involving doctors, nurses and pharmacists at Danish hospitals and discuss the obstacles, enablers and challenges for the use of compu...
CAISE
2008
Springer
13 years 12 months ago
2008
Springer
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of control and data, but facilities for allocating ta...