Sciweavers

CAISE
2015
Springer
8 years 7 months ago
Declarative Process Modeling in BPMN
Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria ...
CAISE
2015
Springer
8 years 7 months ago
RALph: A Graphical Notation for Resource Assignments in Business Processes
The business process (BP) resource perspective deals with the management of human as well as non-human resources throughout the process lifecycle. Although it has received increasi...
Cristina Cabanillas, David Knuplesch, Manuel Resin...
CAISE
2015
Springer
8 years 7 months ago
Specifying Business Requirements through Interaction Design
When the requirements and the interaction design of a system are separated, they will most likely not fit together, and the resulting system will be less than optimal. Even if all ...
Roman Popp, Hermann Kaindl
CAISE
2015
Springer
8 years 7 months ago
HEALTH BANK - A Workbench for Data Science Applications in Healthcare
The enormous amounts of data that are generated in the healthcare process and stored in electronic health record (EHR) systems are an underutilized resource that, with the use of d...
Hercules Dalianis, Aron Henriksson, Maria Kvist, S...
CAISE
2015
Springer
8 years 7 months ago
Applying Predicate Abstraction to Abstract State Machines
Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro ...
CAISE
2015
Springer
8 years 7 months ago
Specification and Incremental Maintenance of Linked Data Mashup Views
The Linked Data initiative promotes the publication of previously isolated databases as interlinked RDF datasets, thereby creating a global scale data space, known as the Web of Da...
Vânia Maria Ponte Vidal, Marco A. Casanova, ...
CAI
2015
Springer
8 years 7 months ago
Proof Simplification in the Framework of Coherent Logic
The problem of proof simplification draws a lot of attention to itself across various contexts. In this paper, we present one approach for simplifying proofs constructed in the fr...
Vesna Marinkovic
CAI
2015
Springer
8 years 7 months ago
Learning Weighted Automata
Many tasks in text and speech processing and computational biology require estimating functions mapping strings to real numbers. A broad class of such functions can be defined by...
Borja Balle, Mehryar Mohri