10038 search results - page 323 / 2008 » Model Checking for Managers |
168
click to vote
WETICE
2006
IEEE
16 years 21 days ago
2006
IEEE
1 Distributed and collaborative applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an appl...
203
click to vote
TC
2002
15 years 6 months ago
2002
Location management plays a significant role in current and future wireless mobile networks in effectively delivering services to the mobile users on the move. Many schemes have be...
165
Voted
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—We provide a formal model for the Change Management process for Enterprise IT systems, and develop change scheduling algorithms that seek to attain the “change capacit...
186
click to vote
MKWI
2008
15 years 8 months ago
2008
: This paper shows how Model Driven Engineering (MDE) and Business Process Management (BPM) can be combined when generating executable BPEL processes out of BPMN models. By adding ...
222
click to vote
HAIS
2011
Springer
14 years 10 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...