10159 search results - page 1857 / 2032 » System Design Validation Using Formal Models |
WETICE
1997
IEEE
14 years 16 days ago
1997
IEEE
This paper is concerned with how collaborative virtual environments can be structured in order to enable greater scalability and yet maintain a richness of communication. Based on...
MM
1997
ACM
14 years 16 days ago
1997
ACM
Nature documentaries play an important role in high school biology classrooms, yet they deliver a passive and biased account of the behavior of organisms. To engage students in mo...
PERSUASIVE
2010
Springer
14 years 8 days ago
2010
Springer
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
DNA
2007
Springer
14 years 8 days ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
GROUP
2007
ACM
14 years 6 days ago
2007
ACM
Many approaches to learning and teaching rely upon students working in groups. So far, many Computer-Supported Group Formation systems have been designed to facilitate the formati...