10038 search results - page 302 / 2008 » Model Checking for Managers |
182
click to vote
VLDB
2007
ACM
16 years 23 days ago
2007
ACM
Manipulation of models and mappings is a common task in the design and development of information systems. Research in Model Management aims at supporting these tasks by providing...
170
click to vote
SIGMOD
1997
ACM
15 years 10 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
181
click to vote
CDVE
2007
Springer
16 years 25 days ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
196
click to vote
ACMICEC
2005
ACM
16 years 7 days ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
237
click to vote
ECIS
2004
15 years 8 months ago
2004
In the knowledge economy, a firm's intellectual capital represents the only sustainable source of competitive advantage. Intellectual capital manifests itself, predominantly,...