16843 search results - page 161 / 3369 » On Generalized Authorization Problems |
120
click to vote
EJWCN
2010
14 years 12 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
133
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
HCI endeavors to create human-centered computer systems, but underlying technological infrastructures often stymie these efforts. We outline three specific classes of user experie...
124
click to vote
CHI
2009
ACM
15 years 9 months ago
2009
ACM
When gathering feedback about an envisioned system, prototypes communicate design ideas to user groups. However, it is unclear how user responses are affected by prototype format....
129
Voted
AO
2007
15 years 5 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
139
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Opinion mining became an important topic of study in recent years due to its wide range of applications. There are also many companies offering opinion mining services. One proble...