Sciweavers

1312 search results - page 99 / 263
» Construction of BPMN-based Business Process Model Base
Sort
View
ICDIM
2008
IEEE
15 years 6 months ago
Dynamic detection and administration of materialized views based on the Query Graph Model
Database Management Systems (DBMS) are complex software systems which are used in an increasing number of applications. To obtain the best performance for business relevant applic...
Andreas Lübcke, Ingolf Geist, Ronny Bubke
KNINVI
2005
Springer
15 years 5 months ago
Concept Maps: Integrating Knowledge and Information Visualization
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contr...
Alberto J. Cañas, Roger Carff, Greg Hill, M...
TACAS
2000
Springer
138views Algorithms» more  TACAS 2000»
15 years 3 months ago
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norma...
APSEC
2003
IEEE
15 years 5 months ago
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
Siv Hilde Houmb, Jan Jürjens
EPK
2006
107views Management» more  EPK 2006»
15 years 1 months ago
Towards EPC Semantics based on State and Context
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
Jan Mendling, Wil M. P. van der Aalst