955 search results - page 91 / 191 » Model Checking Operator Procedures |
99
Voted
BPM
2004
Springer
15 years 4 months ago
2004
Springer
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
88
Voted
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
—Microarray technology has provided an opportunity to simultaneously monitor the expression levels of a large number of genes in response to intentional perturbations. A necessar...
104
Voted
WSC
1997
15 years 2 months ago
1997
Healthcare is a rapidly changing industry, and facilities are struggling to find tools to enhance their ability to keep up with the change. Healthcare staff have generally adapted...
88
Voted
WETICE
2003
IEEE
15 years 6 months ago
2003
IEEE
In addition to producing a pervasive standard and a technology framework, the Web Service initiative has prompted businesses to re-examine their service delivery channels. Back-en...
84
Voted
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...