10038 search results - page 371 / 2008 » Model Checking for Managers |
185
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
One issue hindering the deployment of integrated ubicomp environments is the lack of a shared model for applications to utilize resources across administrative and network domains...
175
click to vote
AIMS
2009
Springer
16 years 1 months ago
2009
Springer
Ontological modelling for machine inference has featured prominently in IT management research recently, but there is more immediate scope for knowledge modelling in the realm of h...
219
click to vote
IJCIM
2002
15 years 6 months ago
2002
Currently, the challenge of implementing a product data management system (PDMS) is how to ensure system integration and product data exchange is shared between heterogeneous syste...
171
click to vote
DSOM
2007
Springer
16 years 29 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
164
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...