1683 search results - page 273 / 337 » Testing system virtual machines |
168
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
185
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
Mobile applications are becoming increasingly ubiquitous and provide ever richer functionality on mobile devices. At the same time, such devices often enjoy strong connectivity wi...
134
click to vote
MCU
1998
15 years 5 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
127
Voted
MHCI
2009
Springer
15 years 10 months ago
2009
Springer
Mobile devices are becoming more and more difficult to use due to the sheer number of functions now supported. In this paper, we propose a menu customization system that ranks fun...
126
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Autonomous navigation of an unmanned aerial vehicle (UAV) can be achieved with a reactive system which allows the robot to overcome all the unexpected changes in its environmen...