Sciweavers

49 search results - page 8 / 10
» Avatars That Learn How to Behave
Sort
View
CAV
2011
Springer
216views Hardware» more  CAV 2011»
12 years 11 months ago
Malware Analysis with Tree Automata Inference
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...
Domagoj Babic, Daniel Reynaud, Dawn Song
PLDI
2010
ACM
14 years 5 months ago
Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
Viktor Kuncak, Mika l Mayer, Ruzica Piskac, Philip...
ECIS
2004
13 years 9 months ago
The problem of integrating ethics into IS practice
In this paper we discuss a number of implications which follow from the way that the information systems discipline has developed, largely separately, from computer ethics. These ...
Frances Bell, Alison Adam
EDBTW
2010
Springer
13 years 5 months ago
A decision support system to improve e-learning environments
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
Marta E. Zorrilla, Diego García, Elena &Aac...
ICWSM
2009
13 years 5 months ago
Seeking and Offering Expertise Across Categories: A Sustainable Mechanism Works for Baidu Knows
This paper presents the first comprehensive exploration of the largest Chinese online knowledge sharing communityBaidu Knows. With analyzing 5.2 millions questions and 2.7 million...
Jiang Yang, Xiao Wei