Sciweavers

CAISE
2015
Springer
8 years 3 months ago
Declarative Process Modeling in BPMN
Giuseppe De Giacomo, Marlon Dumas, Fabrizio Maria ...
CAISE
2015
Springer
8 years 3 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 3 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 3 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 3 months ago
Applying Predicate Abstraction to Abstract State Machines
Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro ...
CAISE
2015
Springer
8 years 3 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, ...
RTSS
2015
IEEE
8 years 3 months ago
Precise Multi-level Inclusive Cache Analysis for WCET Estimation
Abstract—Multi-level inclusive caches are often used in multicore processors to simplify the design of cache coherence protocol. However, the use of such cache hierarchies poses ...
Zhenkai Zhang, Xenofon D. Koutsoukos
RTSS
2015
IEEE
8 years 3 months ago
Quantifying the Exact Sub-optimality of Non-preemptive Scheduling
—Fixed priority scheduling is used in many real-time systems; however, both preemptive and non-preemptive variants (FP-P and FP-NP) are known to be sub-optimal when compared to a...
Robert I. Davis, Abhilash Thekkilakattil, Oliver G...