4099 search results - page 748 / 820 » A Framework for Interactive Proof |
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—Multiple-input and multiple-output (MIMO) technique is considered as one of the most promising emerging wireless technologies that can significantly improve transmissio...
107
click to vote
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
SCP
2010
14 years 8 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
TKDE
2010
14 years 8 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
UIC
2010
Springer
14 years 8 months ago
2010
Springer
As a result of the recent explosion of sensor-equipped mobile phone market, the phenomenal growth of Internet and social network users, and the large deployment of sensor network i...