1641 search results - page 48 / 329 » Subject Composition by Roles |
103
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
140
click to vote
ICDT
2010
ACM
15 years 6 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
120
click to vote
ICDT
2010
ACM
15 years 28 days ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
121
click to vote
EUROMICRO
2011
IEEE
14 years 1 months ago
2011
IEEE
— The development of a software product in an organization involves various groups of stakeholders who may prioritize the qualities of the product differently. This paper present...
126
click to vote
JUCS
2010
14 years 8 months ago
2010
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...