Search Results - "Fidge, C.J."

Data and process requirements for product recall coordination by Wynn, M.T., Ouyang, C., ter Hofstede, A.H.M., Fidge, C.J.

“…► A generic model of a product recall process. ► Data requirement specifications for traceability and notification during product recalls. ► A framework to…”
Get full text

Evaluating and predicting overall process risk using event logs by Pika, A., van der Aalst, W.M.P., Wynn, M.T., Fidge, C.J., ter Hofstede, A.H.M.

“…•An approach and a supporting tool for evaluating overall process risk and for predicting aggregate process outcomes is proposed.•The approach is…”
Get full text

Workflow simulation for operational decision support by Rozinat, A., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M., Fidge, C.J.

“…Simulation is widely used as a tool for analyzing business processes but is mostly focused on examining abstract steady-state situations. Such analyses are…”
Get full text

A genetic algorithm for the multi-source and multi-sink minimum vertex cut problem and its applications by Tang, M., Fidge, C.J.

“…We present a new penalty-based genetic algorithm for the multi-source and multi-sink minimum vertex cut problem, and illustrate the algorithm's usefulness with…”
Get full text

Formally analysing a security protocol for replay attacks by Long, B.W., Fidge, C.J.

“…The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone…”
Get full text

Compilation of specifications by Fidge, C.J.

“…Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise…”
Get full text

Contextual matching of software library components by Fidge, C.J.

“…Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this…”
Get full text

A limitation of vector timestamps for reconstructing distributed computations by Fidge, C.J.

“…Vector timestamps provide a way of recording the causal relationships between events in a distributed computation. We draw attention to a limitation of such…”
Get full text

Defining differentiation and integration in Z by Fidge, C.J., Hayes, I.J., Mahony, B.P.

“…We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems…”
Get full text