Sciweavers

2055 search results - page 108 / 411
» Generic Model Refactorings
Sort
View
116
Voted
BPM
2008
Springer
143views Business» more  BPM 2008»
15 years 3 months ago
Mining Based on Learning from Process Change Logs
In today's dynamic business world economic success of an enterprise increasingly depends on its ability to react to internal and external changes in a quick and flexible way. ...
Chen Li, Manfred Reichert, Andreas Wombacher
GTTSE
2007
Springer
15 years 5 months ago
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
Guido Wachsmuth
IJSEKE
2011
165views more  IJSEKE 2011»
14 years 5 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
IPPS
2006
IEEE
15 years 7 months ago
Modeling and executing master-worker applications in component models
— This paper describes work in progress to extend component models to support Master-Worker applications and to let them to be executed on Grid infrastructures. The proposed appr...
Hinde-Lilia Bouziane, Christian Pérez, Thie...
ATAL
2005
Springer
15 years 7 months ago
A negotiation model for autonomous agents: key features and comparison with existing models
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
Fernando Lopes, Augusto Q. Novais, Nuno J. Mamede,...