10159 search results - page 1857 / 2032 » System Design Validation Using Formal Models |
113
Voted
WETICE
1997
IEEE
15 years 6 months 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...
110
click to vote
MM
1997
ACM
15 years 6 months 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...
107
click to vote
PERSUASIVE
2010
Springer
15 years 6 months 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...
114
click to vote
DNA
2007
Springer
15 years 6 months 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...
135
Voted
GROUP
2007
ACM
15 years 6 months 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...