Sciweavers

1642 search results - page 102 / 329
» A Heuristic Method for Business Process Model Evaluation
Sort
View
TACAS
2004
Springer
135views Algorithms» more  TACAS 2004»
15 years 11 months ago
Liveness with Incomprehensible Ranking
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
APCCM
2008
15 years 7 months ago
A Framework Based Measurements for Evaluating an IS Quality
There is an increasing community of researchers trying to draw attention to the importance of evaluation issues. Some approaches can be followed to evaluate the quality of softwar...
Olfa Lamouchi, Amar Ramdane-Cherif, Nicole L&eacut...
AVSS
2007
IEEE
16 years 20 days ago
Detection of temporarily static regions by processing video at different frame rates
This paper presents an abandoned item and illegally parked vehicle detection method for single static camera video surveillance applications. By processing the input video at diff...
Fatih Porikli
CAISE
2009
Springer
15 years 4 months ago
Developing Quality Management Systems with DEMO
The International Organization for Standardization (ISO) has defined Quality Management, but it has not yet adopted standards for developing Quality Management Systems (QMSs), nota...
Jos Geskus, Jan L. G. Dietz
PADS
2003
ACM
15 years 11 months ago
HLA-based Adaptive Distributed Simulation of Wireless Mobile Systems
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
Luciano Bononi, Gabriele D'Angelo, Lorenzo Donatie...