777 search results - page 7 / 156 » presence 2010 |
129
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
82
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—We consider multiuser scheduling in wireless networks with channel variations and flow-level dynamics. Recently, it has been shown that the MaxWeight algorithm, which i...
101
click to vote
PRESENCE
2010
14 years 10 months ago
2010
Brain–computer interfaces (BCIs) are becoming more and more popular as an input device for virtual worlds and computer games. Depending on their function, a major drawback is th...
85
Voted
JDCTA
2010
14 years 7 months ago
2010
This paper analyzes performance of MEGACO (Media Gateway Control Protocol) based on Diameter which is an Authentication, Authorization,andAccounting (AAA) protocol developed withi...
111
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...