Sciweavers

5600 search results - page 114 / 1120
» Synthesizing robust systems
Sort
View
KBSE
2006
IEEE
14 years 1 months ago
Effective Generation of Interface Robustness Properties for Static Analysis
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
HCI
2007
13 years 9 months ago
Towards an Integrated Approach for Task Modeling and Human Behavior Recognition
Abstract. Mobile and ubiquitous systems require task models for addressing the challenges of adaptivity and situation-aware assistance. Today, both challenges are seen as separate ...
Martin Giersich, Peter Forbrig, Georg Fuchs, Thoma...
ICCHP
2010
Springer
13 years 6 months ago
Accessing Google Docs via Screen Reader
Groupware systems allow remote collaboration via computer in a simple, economic and efficient way. However, to be universally valuable, groupware systems must be accessible and usa...
Maria Claudia Buzzi, Marina Buzzi, Barbara Leporin...
ICDCSW
2002
IEEE
14 years 26 days ago
A Collaborative Infrastructure for Scalable and Robust News Delivery
In this paper we describe the model used for the NewsWire collaborative content delivery system. The system builds on the robustness and scalability of Astrolabe to weave a peer-t...
Werner Vogels, Christopher Ré, Robbert van ...
RECSYS
2009
ACM
14 years 17 days ago
Effective diverse and obfuscated attacks on model-based recommender systems
Robustness analysis research has shown that conventional memory-based recommender systems are very susceptible to malicious profile-injection attacks. A number of attack models h...
Zunping Cheng, Neil Hurley