Sciweavers

4987 search results - page 586 / 998
» Support Ordered Resolution
Sort
View
BPM
2009
Springer
146views Business» more  BPM 2009»
15 years 8 months ago
Extending a Business Process Modeling Tool With Process Configuration Facilities: The Provop Demonstrator
This tool demonstration presents an extension of the ARIS Business Architect in order to better cope with the high variability of business process models in practice. This extensio...
Manfred Reichert, Steve Rechtenbach, Alena Hallerb...
ECOOP
2008
Springer
15 years 8 months ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
GI
2008
Springer
15 years 8 months ago
Navigating Dynamically-Generated High Quality Maps on Tilt-Sensing Mobile Devices
Abstract: On mobile devices, navigating in high-resolution and high-density 2D information spaces, such as geographic maps, is a common and important task. In order to support this...
Sven G. Kratz, Michael Rohs
ESEM
2010
ACM
15 years 7 months ago
Evaluating the suitability of a measurement repository for statistical process control
Software organizations have increased their interest on software process improvement (SPI). In high maturity levels, SPI involves implementing statistical process control (SPC), w...
Monalessa Perini Barcellos, Ana Regina Rocha, Rica...
DGO
2010
143views Education» more  DGO 2010»
15 years 7 months ago
Cockpits for Swiss municipalities: a web based instrument for leadership
The increasing complexity concerning leadership and management of small and medium size municipalities in Switzerland, poses high demands on executive authorities. Cockpits for mu...
Christoph Schaller, Alessia C. Neuroni, Daniel Mar...