Sciweavers

4211 search results - page 591 / 843
» Types as Abstract Interpretations
Sort
View
BPM
2008
Springer
128views Business» more  BPM 2008»
15 years 8 months ago
Flexibility Schemes for Workflow Management Systems
Abstract. Currently, many hospitals are investigating the use of workflow management systems in order to provide support for healthcare processes. However, contemporary workflow ma...
R. S. Mans, Wil M. P. van der Aalst, Nick Russell,...
CAISE
2008
Springer
15 years 8 months ago
Guidance in Web Applications Design
Abstract. The paper introduces a new situational method for Web applications design. The purpose of the approach is to respond to the following limits of web development methods: t...
Semia Sonia Selmi, Naoufel Kraïem, Henda Hajj...
CICLING
2008
Springer
15 years 8 months ago
Sense Annotation in the Penn Discourse Treebank
Abstract. An important aspect of discourse understanding and generation involves the recognition and processing of discourse relations. These are conveyed by discourse connectives,...
Eleni Miltsakaki, Livio Robaldo, Alan Lee, Aravind...
DEXA
2006
Springer
171views Database» more  DEXA 2006»
15 years 8 months ago
Automating the Choice of Decision Support System Architecture
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
Estella Annoni, Franck Ravat, Olivier Teste, Gille...
BIOID
2008
190views Biometrics» more  BIOID 2008»
15 years 8 months ago
Direct Attacks Using Fake Images in Iris Verification
Abstract. In this contribution, the vulnerabilities of iris-based recognition systems to direct attacks are studied. A database of fake iris images has been created from real iris ...
Virginia Ruiz-Albacete, Pedro Tome-Gonzalez, Ferna...