Sciweavers

6020 search results - page 129 / 1204
» A New Approach to Model Counting
Sort
View
BPM
2010
Springer
191views Business» more  BPM 2010»
15 years 5 months ago
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
Wil M. P. van der Aalst, Niels Lohmann, Marcello L...
ICSR
2004
Springer
15 years 9 months ago
A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...
Abdelmadjid Ketfi, Noureddine Belkhatir
ICC
2009
IEEE
239views Communications» more  ICC 2009»
15 years 10 months ago
An Analytical Approach for Throughput Evaluation of Wireless Network Coding
In this paper, we propose a new analytical model for throughput evaluation of wireless network coding. This new approach is based on a probabilistic viewpoint on network coding, i....
Mohammad H. Amerimehr, Farid Ashtiani, Mohammad Ba...
117
Voted
MODELS
2007
Springer
15 years 10 months ago
Magritte - A Meta-driven Approach to Empower Developers and End Users
Model-driven engineering is a powerful approach to build large-scale applications. However, an application’s metamodel often remains static after the initial development phase an...
Lukas Renggli, Stéphane Ducasse, Adrian Kuh...
WSC
2008
15 years 6 months ago
Reliable simulation with input uncertainties using an interval-based approach
Uncertainty associated with input parameters and models in simulation has gained attentions in recent years. The sources of uncertainties include lack of data and lack of knowledg...
Ola Ghazi Batarseh, Yan Wang