3909 search results - page 610 / 782 » Extreme Model Checking |
230
click to vote
CSCW
2011
ACM
15 years 1 months ago
2011
ACM
This paper explores key issues people experience managing personal boundaries within and across social technologies. We look in particular at email and online social networks. We ...
163
click to vote
MP
2011
15 years 1 months ago
2011
We consider a quadratic programming (QP) problem (Π) of the form min xT Cx subject to Ax ≥ b where C ∈ Rn×n + , rank(C) = 1 and A ∈ Rm×n , b ∈ Rm . We present an FPTAS ...
218
click to vote
SIAMREV
2010
15 years 1 months ago
2010
The newly emerging field of Network Science deals with the tasks of modelling, comparing and summarizing large data sets that describe complex interactions. Because pairwise affin...
228
click to vote
TCAD
2010
15 years 1 months ago
2010
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
190
click to vote
TWC
2010
15 years 1 months ago
2010
We consider a system with a single base station communicating with multiple users over orthogonal channels while being assisted by multiple relays. Several recent works have sugge...