562 search results - page 92 / 113 » Open issues in organizing computer systems conferences |
DAC
2006
ACM
15 years 5 months ago
2006
ACM
duce system weight and volume, increase operating lifetime, The recent explosion in capability of embedded and portable decrease maintenance costs, and open new frontiers for inele...
105
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
We propose an efficient online real-time solution for singlecamera 3?D tracking of rigid objects that can handle large camera displacements, drastic aspect changes, and partial oc...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
We propose BeamAuth, a two-factor web authentication technique where the second factor is a specially crafted bookmark. BeamAuth presents two interesting features: (1) only server...
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...