Sciweavers

5309 search results - page 810 / 1062
» A high performance Erlang system
Sort
View
ACSAC
1999
IEEE
15 years 11 months ago
Safe Areas of Computation for Secure Computing with Insecure Applications
Currently the computer systems and software used by the average user offer virtually no security. Because of this many attacks, both simulated and real, have been described by the...
André L. M. dos Santos, Richard A. Kemmerer
ICRA
1999
IEEE
96views Robotics» more  ICRA 1999»
15 years 11 months ago
Examples of 3D Grasp Quality Computations
Previous grasp quality research is mainly theoretical, and has assumed that contact types and positions are given, in order to preserve the generality of the proposed quality meas...
Andrew T. Miller, Peter K. Allen
ICTAI
1999
IEEE
15 years 11 months ago
Dynamic Email Organization via Relevance Categories
Many researchers have proposed classification systems that automatically classify email in order to reduce information overload. However, none of these systems are in use today. T...
Kenrick J. Mock
CC
1999
Springer
107views System Software» more  CC 1999»
15 years 11 months ago
Link-Time Improvement of Scheme Programs
Abstract. Optimizing compilers typically limit the scope of their analyses and optimizations to individual modules. This has two drawbacks: rst, library code cannot be optimized to...
Saumya K. Debray, Robert Muth, Scott A. Watterson
DSVIS
1998
Springer
15 years 11 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson