290 search results - page 33 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
GI
2009
Springer
13 years 5 months ago
2009
Springer
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
JSS
2010
13 years 5 months ago
2010
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
DQ
1998
13 years 7 months ago
1998
Current evidence indicates that poor data quality is pervasive and has a significant negative impact on business success. Information-system (IS) professionals are typically charg...