1487 search results - page 232 / 298 » On Validating Engineering Design Decision Support Tools |
125
Voted
BPM
2004
Springer
15 years 8 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...
143
click to vote
APCCM
2008
15 years 6 months ago
2008
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
136
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
249
Voted
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
154
click to vote
CSMR
2009
IEEE
15 years 9 months ago
2009
IEEE
Creating accurate models of information systems is an important but challenging task. It is generally well understood that such modeling encompasses general scientific issues, bu...