9110 search results - page 90 / 1822 » Formally-Based Design Evaluation |
175
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—By ‘optimal CSMA’ we denote a promising approach to maximize throughput-based utility in wireless networks without message passing or synchronization among nodes. De...
161
click to vote
JCC
2011
14 years 7 months ago
2011
: Docking is one of the most commonly used techniques in drug design. It is used for both identifying correct poses of a ligand in the binding site of a protein as well as for the ...
181
click to vote
GPCE
2011
Springer
14 years 4 months ago
2011
Springer
Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-...
134
click to vote
CN
2011
14 years 8 months ago
2011
We provide a design of a control and management plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of a logically centralized...
128
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Fitts’ law (1954) characterizes pointing speed-accuracy performance as throughput, whose invariance to target distances (A) and sizes (W) is known. However, it is unknown whethe...