4755 search results - page 414 / 951 » An Implementation Model for Collaborative Applications |
128
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
140
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
144
Voted
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
Channel allocation was extensively investigated in the framework of cellular networks, but it was rarely studied in the wireless ad-hoc networks, especially in the multi-hop ad-ho...
142
click to vote
ADHOCNETS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Existing localization techniques such as GPS have fundamental limitations which preclude deployment in urban canyons or areas with inconsistent network availability. Augm...
146
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Ranking is a key problem in many information retrieval (IR) applications, such as document retrieval and collaborative filtering. In this paper, we address the issue of learning ...