137 search results - page 2 / 28 » Carry Small, Live Large |
GRAPHICSINTERFACE
2004
13 years 8 months ago
2004
Mobile devices with small screens are becoming more common, and will soon be powerful enough to run desktop software. However, the large interfaces of desktop applications do not ...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— A pan-tilt-zoom robotic camera can provide detailed live video of selected areas of interest within a large potential viewing field. To provide spatial context for human obser...
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
We investigate a decentralised approach to committing transactions in a replicated database, under partial replication. Previous protocols either reexecute transactions entirely an...