11345 search results - page 1824 / 2269 » Foundations of Computer Science |
149
click to vote
GI
2004
Springer
15 years 10 months 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...
GI
2004
Springer
15 years 10 months ago
2004
Springer
: Aktuelle Anforderungen an Unternehmen in Bezug auf Personaleinsatz und Personalentwicklung erfordern eine zunehmende IT-Unterstützung. SkillManagement-Systemen kommt dabei eine ...
149
click to vote
GI
2004
Springer
15 years 10 months 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 ...
128
click to vote
GI
2004
Springer
15 years 10 months 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 ...
142
click to vote
SPIN
2004
Springer
15 years 10 months 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...