11345 search results - page 1824 / 2269 » Foundations of Computer Science |
193
click to vote
GI
2004
Springer
16 years 8 days ago
2004
Springer
: Humans have complex sensory and control capabilities. Only a few are used in standard games and virtual environments. Examples of games using interfaces beyond mouse, keyboard an...
131
click to vote
GI
2004
Springer
16 years 8 days ago
2004
Springer
: Aktuelle Anforderungen an Unternehmen in Bezug auf Personaleinsatz und Personalentwicklung erfordern eine zunehmende IT-Unterstützung. SkillManagement-Systemen kommt dabei eine ...
184
click to vote
GI
2004
Springer
16 years 8 days ago
2004
Springer
: We present several quality criteria for skills management initiatives based on the competence-performance approach [Kor97]. The criteria help to measure reliability and validity ...
160
click to vote
GI
2004
Springer
16 years 8 days ago
2004
Springer
: The article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different ...
197
click to vote
SPIN
2004
Springer
16 years 6 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...