10038 search results - page 403 / 2008 » Model Checking for Managers |
238
click to vote
SEW
2007
IEEE
16 years 1 months ago
2007
IEEE
- Over the past years, the Capability Maturity Model (CMM) and Capability Maturity Model Integration (CMMI) have been broadly used for assessing organizational maturity and process...
178
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...
156
click to vote
IESA
2007
15 years 8 months ago
2007
In this paper we introduce and explore an extension to the existing paradigm of model transformation. Specifically, we extend existing model transformation approaches by consideri...
281
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
A customizable and extensible tool is proposed to implement ModelGen, the model management operator that translates a schema from one model to another. A wide family of models is ...
285
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...