7118 search results - page 1062 / 1424 » Electrical and Computer Engineering |
135
click to vote
DSN
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
163
click to vote
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
114
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...
126
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
This paper focuses on ways and means of stimulating idea generation in collaborative situations involving designers, engineers, software developers, users and usability people. Pa...
132
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...