2373 search results - page 156 / 475 » Towards a Model of Computer Systems Research |
134
Voted
DIGRA
2003
Springer
15 years 10 months ago
2003
Springer
Instead of confining the player to a single role, the active participator model positions the player in a more flexible position towards the fictional gameworld: involved and imme...
174
Voted
ISRR
2001
Springer
15 years 9 months ago
2001
Springer
A new field of robotics is emerging. Robots are today moving towards applications beyond the structured environment of a manufacturing plant. They are making their way into the e...
146
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
130
click to vote
MTSR
2007
Springer
15 years 11 months ago
2007
Springer
Scientists in astrophysics and cosmology make much use of the arXiv repository. Concerns raised by scientists in those fields about publication costs and delays, and the transparen...
166
Voted
IA
2006
15 years 5 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...