2580 search results - page 407 / 516 » Systems for human-powered mobile computing |
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
129
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Transmitter Leakage has a significant impact on the system performance in mobile devices using zero-IF receivers. In this contribution, the statistical properties of the Tx Lea...
139
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper studies the optimization techniques for scheduling multimedia packets in satellite digital multimedia broadcasting system, namely SDMB, in the presence of a return l...
124
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper introduces a multi-robot cooperation approach to solve the pursuit evasion problem for mobile robots that have omnidirectional vision sensors in unknown environments. T...
121
click to vote
ICESS
2005
Springer
15 years 9 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...