Sciweavers

2934 search results - page 241 / 587
» Universality in Multi-Agent Systems
Sort
View
CERA
2005
101views more  CERA 2005»
15 years 7 months ago
An Integrated Approach to Manufacturing Process Design and Costing
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...
S. Grewal, C. K. Choi
ICCHP
2010
Springer
15 years 5 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...
RTSS
2005
IEEE
16 years 25 days ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
CHI
2009
ACM
16 years 7 months ago
Waterhouse: enabling secure e-mail with social networking
We present Waterhouse, a system for sending and receiving cryptographically protected electronic mail ("secure e-mail"). We show how an existing e-mail interface can be ...
Alex P. Lambert, Stephen M. Bezek, Karrie Karahali...
CHI
2009
ACM
16 years 7 months ago
The accidental tutor: overlaying an intelligent tutor on an existing user interface
Intelligent Tutoring Systems (ITSs) have been shown to have dramatic impact on student learning [9]. However, these gains have been mostly in topics in which the interface has bee...
Liz Blankenship, Stephen B. Gilbert, Stephen Bless...