Sciweavers

572 search results - page 54 / 115
» What do usability evaluators do in practice
Sort
View
FAABS
2004
Springer
14 years 4 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
SEKE
2004
Springer
14 years 4 months ago
Automatic bug triage using text categorization
Bug triage, deciding what to do with an incoming bug report, is taking up increasing amount of developer resources in large open-source projects. In this paper, we propose to appl...
Davor Cubranic, Gail C. Murphy
TEX
2004
Springer
207views Latex» more  TEX 2004»
14 years 4 months ago
Arabic Mathematical e-Documents
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...
Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
14 years 2 months ago
An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems
: There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effectiveness. Their intended users t...
Pekka Forselius, Timo Käkölä
IJCAI
2001
14 years 5 days ago
IBAL: A Probabilistic Rational Programming Language
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
Avi Pfeffer