2838 search results - page 389 / 568 » Verifying Controlled Components |
HICSS
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper, we compare the features available for developing secure distributed applications for limited devices, such as smart phones. We limit our scope to examine frameworks...
INFOCOM
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract—Understanding user behavior in wireless environments is useful for a variety of reasons ranging from the design of better sleep algorithms for components of mobile devic...
SASO
2008
IEEE
14 years 5 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
CEC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— There has been much research into the development of robotic controllers in educational, industrial and government research labs, but limited hardware budgets constrain...
COLCOM
2007
IEEE
14 years 5 months ago
2007
IEEE
—Reputation systems provide a promising way for building trust through social control in collaborative communities by harnessing the community knowledge in the form of feedback. ...