Sciweavers

2517 search results - page 224 / 504
» Specifying Weak Sets
Sort
View
ITS
1992
Springer
124views Multimedia» more  ITS 1992»
15 years 10 months ago
Knowledge Base Compilation and the Language Design Game
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
Warren Sack
ATAL
2007
Springer
15 years 10 months ago
On Choosing an Efficient Service Selection Mechanism in Dynamic Environments
Consumers use service selection mechanisms to decide on a service provider to interact with. Although there are various service selection mechanisms, each mechanism has different s...
Murat Sensoy, Pinar Yolum
CHIMIT
2007
ACM
15 years 10 months ago
Looking for trouble: understanding end-user security management
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...
Joshua B. Gross, Mary Beth Rosson
EDUTAINMENT
2007
Springer
15 years 10 months ago
A 3D Virtual Learning Environment to Foster Communication for Long Term Ill Children
In this paper, we present a virtual learning environment which supports the learning process of long term sick children. By focusing on 3D Virtual Environments technology chronical...
Fabian Di Fiore, Pieter Jorissen, Gert Vansichem, ...
ISSTA
2010
ACM
15 years 10 months ago
N-version disassembly: differential testing of x86 disassemblers
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fre...