955 search results - page 91 / 191 » Model Checking Operator Procedures |
BPM
2004
Springer
14 years 16 days 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...
BIBE
2007
IEEE
14 years 3 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...
WSC
1997
13 years 10 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...
WETICE
2003
IEEE
14 years 2 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...
GECCO
2003
Springer
14 years 2 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...