5216 search results - page 608 / 1044 » Planning as Model Checking |
181
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
201
click to vote
EDOC
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper reports on applying the ODP enterprise viewpoint in the domain of tele-education. The work is conducted as part of a research activity1 that aims at designing a tele-ed...
185
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
: The use of Open-Learner Modelling (OLM) within Intelligent Learning Environments is becoming more common. By allowing learners a greater control over their learning experience, O...
207
click to vote
WSC
2007
15 years 9 months ago
2007
Efficiently planning and managing workforce is a challenge imposed on many companies, especially for those in the service industry. The target of an effective workforce management...
180
click to vote
WSC
2008
15 years 9 months ago
2008
Semiconductor industry is a capital intensive and knowledge intensive industry, in which human resource management and human capital enhancement is increasingly important. To main...