Sciweavers

5775 search results - page 981 / 1155
» A Rationale-based Analysis Tool
Sort
View
WSC
2008
15 years 9 months ago
Simulation-based verification of lean improvement for emergency room process
One of the key challenges to health care access in Canadian hospitals is growing overcrowding of the Emergency Departments (EDs), leading to the medical personnel overload, and th...
Nancy Khurma, Gheorghe M. Bacioiu, Zbigniew J. Pas...
ICPR
2010
IEEE
15 years 8 months ago
Using Snakes with Asymmetric Energy Terms for the Detection of Varying-Contrast Edges in SAR Images
Active contour methods like snakes, have become a basic tool in computer vision and image analysis over the last years. They have proven to be adequate for the task of finding bou...
Benjamin Seppke, Leonie Dreschler-Fischer, Nathana...
ATAL
2008
Springer
15 years 8 months ago
Agent-based simulation of the spatial dynamics of crime: on the interplay between criminal hot spots and reputation
An important challenge within the field of Criminology is to investigate the spatio-temporal dynamics of crime. Typical questions in this area are how the behaviour of offenders, ...
Tibor Bosse, Charlotte Gerritsen
CCS
2008
ACM
15 years 8 months ago
Towards experimental evaluation of code obfuscation techniques
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...
Mariano Ceccato, Massimiliano Di Penta, Jasvir Nag...
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 8 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart