Sciweavers

1061 search results - page 182 / 213
» Experiences with Honeypot Systems: Development, Deployment, ...
Sort
View
ISSTA
2004
ACM
14 years 2 months ago
Exploiting purity for atomicity
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
EDM
2011
197views Data Mining» more  EDM 2011»
12 years 9 months ago
Towards Improvements on Domain-independent Measurements for Collaborative Assessment
Assessment on collaborative student behavior is a longstanding issue in user modeling. Nowadays thanks to the proliferation of online learning and the vast amount of data on studen...
Antonio R. Anaya, Jesus Boticario
AVSS
2003
IEEE
14 years 2 months ago
Improving the Extraction of Temporal Motion Strength Signals from Video Recordings of Neonatal Seizures
Automated processing and analysis of video recordings of neonatal seizures can generate novel methods for extracting quantitative information that is relevant only to the seizure [...
Nicolaos B. Karayiannis, Guozhi Tao
SIGGRAPH
1993
ACM
14 years 1 months ago
Surround-screen projection-based virtual reality: the design and implementation of the CAVE
Several common systems satisfy some but not all of the VR definition above. Flight simulators provide vehicle tracking, not head tracking, and do not generally operate in binocular...
Carolina Cruz-Neira, Daniel J. Sandin, Thomas A. D...
SIGSOFT
2009
ACM
14 years 10 months ago
SCA: a semantic conflict analyzer for parallel changes
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry