94 search results - page 11 / 19 » Project Planning Support by Model Checking |
JUCS
2008
14 years 9 months ago
2008
: One of the key problems in developing standard based adaptive courses is the complexity involved in the design phase, especially when establishing the hooks for the dynamic model...
ICALT
2008
IEEE
15 years 4 months ago
2008
IEEE
Students whose professional qualifications are gained through work placement-based learning are assessed as to their competency to carryout tasks. These students are usually suppo...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
80
Voted
CAS
2004
14 years 9 months ago
2004
Transportation and its environmental impacts are a major component of urban environmental management. At the same time, transportation and mobility are an important part or urban ...
ZUM
1991
Springer
15 years 1 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...