298 search results - page 36 / 60 » Experience with Model Checking Linearizability |
COGSR
2011
13 years 4 months ago
2011
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...
BIBM
2008
IEEE
14 years 4 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ...
CAISE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
BELL
2000
13 years 9 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
BPM
2004
Springer
14 years 1 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...