Sciweavers

2624 search results - page 297 / 525
» On Business Process Model Transformations
Sort
View
FDL
2006
IEEE
16 years 18 days ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
EPEW
2008
Springer
15 years 8 months ago
Partial Evaluation of PEPA Models for Fluid-Flow Analysis
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco T...
MOBICOM
2003
ACM
15 years 11 months ago
Sound mobility models
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
Jungkeun Yoon, Mingyan Liu, Brian Noble
ICIP
2004
IEEE
16 years 8 months ago
Multisensor raster and vector data fusion based on uncertainty modeling
We propose a new methodology for fusing temporally changing multisensor raster and vector data by developing a spatially and temporally varying uncertainty model of acquired and t...
Sang-Chul Lee, Peter Bajcsy
UML
2001
Springer
15 years 11 months ago
Refactoring UML Models
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
Gerson Sunyé, Damien Pollet, Yves Le Traon,...