14720 search results - page 2787 / 2944 » Interface |
139
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
136
Voted
CANDT
2009
15 years 7 months ago
2009
HCI, CSCW, and ubicomp researchers have developed new technologies and interaction techniques to support collaboration, ranging from electronic whiteboards to software supporting ...
116
click to vote
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—Transmission power plays a crucial role in the design and performance of wireless networks. The issue is therefore complex since an increase in transmission power implies that a...
125
click to vote
KDD
2010
ACM
15 years 7 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
127
Voted
EXPCS
2007
15 years 7 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...