10689 search results - page 356 / 2138 » How informances can be used in design ethnography |
102
click to vote
CCS
2009
ACM
15 years 3 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
122
click to vote
ICDE
1992
IEEE
15 years 3 months ago
1992
IEEE
Contrary to popular belief, relation schemes in good classical normal forms are not necessarily devoid of redundancies. This arises from the fact that classical data dependencies ...
ATAL
2010
Springer
15 years 22 days ago
2010
Springer
In this paper, we study a service procurement problem with uncertainty as to whether service providers are capable of completing a given task within a specified deadline. This typ...
104
click to vote
ISMIR
2000
Springer
15 years 3 months ago
2000
Springer
Music librarians and cataloguers have traditionally created indexes that allow users to access musical works using standard reference information, such as the name of the composer...
110
click to vote
TSE
2010
14 years 6 months ago
2010
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...