Sciweavers

2473 search results - page 337 / 495
» Systems, Views and Models of UML
Sort
View
190
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 7 months ago
A Framework for Timed Concurrent Constraint Programming with External Functions
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
María Alpuente, Bernhard Gramlich, Alicia V...
IJSEKE
2011
141views more  IJSEKE 2011»
14 years 10 months ago
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
Stefan Biffl, Thomas Moser, Dietmar Winkler
216
Voted
BIS
2007
183views Business» more  BIS 2007»
15 years 8 months ago
A Conceptual Framework for Composition in Business Process Management
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...
Ingo Weber, Ivan Markovic, Christian Drumm
JAPLL
2007
88views more  JAPLL 2007»
15 years 6 months ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit
168
Voted
ENVSOFT
2002
187views more  ENVSOFT 2002»
15 years 6 months ago
AVTOP: a full integration of TOPMODEL into GIS
The integration of environmental models and Geographical Information Systems (GIS) usually takes two approaches: loose coupling and tight coupling. This paper, however, presents a...
Bo Huang, Bin Jiang