314 search results - page 18 / 63 » Evaluation of Technologies for Business Process Automation |
CAISE
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
IJAIT
2006
13 years 7 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
CICLING
2010
Springer
14 years 2 months ago
2010
Springer
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. While the quality of a summary is de...
CVIU
2010
13 years 7 months ago
2010
This paper presents a real-time vision-based system to assist a person with dementia wash their hands. The system uses only video inputs, and assistance is given as either verbal ...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
The push toward business process automation has generated the need for integrating different enterprise applications involved in such processes. The typical approach to integration...