10038 search results - page 560 / 2008 » Model Checking for Managers |
160
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
This thesis addresses the problem of source quality changes in Data Integration Systems. Its main goal is to propose techniques for maintaining as much as possible the satisfaction...
193
click to vote
SWWS
2008
15 years 8 months ago
2008
Abstract The growing demand for large and complex ontologies present new challenges related to their design, maintenance and evolution. In this paper, we propose an approach to man...
180
click to vote
WCE
2007
15 years 8 months ago
2007
Staff attrition is a problem often faced by software development organizations. We used process modeling and simulation to estimate the effect of different staffing policies on th...
135
click to vote
CE
2008
15 years 7 months ago
2008
: We present PKIP, an adaptable learning assistant tool for managing question items in item banks. PKIP is not only able to automatically assist educational users to categorize the...
202
click to vote
IPPS
2003
IEEE
16 years 14 days ago
2003
IEEE
MCT is a widely used heuristic for scheduling tasks onto grid platforms. However, when dealing with many tasks, MCT tends to dramatically delay already mapped task completion time...