780 search results - page 66 / 156 » Cost-Sharing Approximations for h |
CHI
2006
ACM
15 years 11 months ago
2006
ACM
We have conducted a study of meetings to gain an understanding of the sources of disruption when laptops are present. We videotaped five workplace meetings in which over 600 infor...
VLSID
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a method to minimize power dissipation in current-mode CMOS analog and multiple-valued logic (MVL) circuits employing a stack of current comparators. First, we present ...
HICSS
2009
IEEE
15 years 6 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper investigates the network performance loss of using only single-path routing when multiple paths are available. The performance metric is the aggregate utility achieve...