1156 search results - page 56 / 232 » Implications for design |
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
A study was conducted across multiple open source software online technical help communities. This paper presents the types of discussions that occur, the types of questions asked...
DCC
2006
IEEE
15 years 10 months ago
2006
IEEE
It is shown that in some cases it is possible to reconstruct a block design D uniquely from incomplete knowledge of a minimal defining set for D. This surprising result has implic...
DEON
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
CHI
2008
ACM
15 years 11 months ago
2008
ACM
In this paper, I build on perspectives in HumanComputer Interaction (HCI) and design literature to develop a theoretical lens to conduct personal inventories of human-product rela...
105
click to vote
CAV
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...