Sciweavers

1804 search results - page 293 / 361
» Intrusion Detection Using Sequences of System Calls
Sort
View
UIST
1995
ACM
14 years 13 days ago
The World Through the Computer: Computer Augmented Interaction with Real World Environments
Current user interface techniques such as WIMP or the desktop metaphor do not support real world tasks, because the focus of these user interfaces is only on human–computer inte...
Jun Rekimoto, Katashi Nagao
ECOOP
2009
Springer
14 years 9 months ago
Loci: Simple Thread-Locality for Java
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...
Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zha...
ICSM
2005
IEEE
14 years 2 months ago
A Category-theoretic Approach to Syntactic Software Merging
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntacti...
Nan Niu, Steve M. Easterbrook, Mehrdad Sabetzadeh
ICRA
1994
IEEE
99views Robotics» more  ICRA 1994»
14 years 1 months ago
Mobile Robot Obstacle Avoidance in a Computerized Travel Aid for the Blind
A blind traveler walking through an unfamiliar environment, and a mobile robot navigating through a cluttered environment have an important feature in common: both have the kinema...
Shraga Shoval, Johann Borenstein, Yoram Koren
SOSP
1997
ACM
13 years 10 months ago
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
Stefan Savage, Michael Burrows, Greg Nelson, Patri...