8623 search results - page 1568 / 1725 » Software engineering for secure systems |
PEPM
2009
ACM
14 years 6 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
IUI
2010
ACM
14 years 6 months ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
IUI
2010
ACM
14 years 6 months ago
2010
ACM
Most of the previous work on non-invasive brain-computer interfaces (BCIs) has been focused on feature extraction and classification algorithms to achieve high performance for the...
IUI
2009
ACM
14 years 6 months ago
2009
ACM
For blind web users, completing tasks on the web can be frustrating. Each step can require a time-consuming linear search of the current web page to find the needed interactive e...
IUI
2010
ACM
14 years 4 months ago
2010
ACM
Browsing and searching for documents in large, online enterprise document repositories are common activities. While internet search produces satisfying results for most user queri...