4814 search results - page 685 / 963 » Combining abstract interpreters |
92
Voted
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
Abstract--"Secure Device Pairing" is the process of bootstrapping a secure channel between two previously unassociated devices over a (usually wireless) human-imperceptib...
91
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
A number of experimental studies based on domain-specific tasks have evaluated the efficiency of navigation techniques for searching multi-scale worlds. The discrepancies among th...
103
click to vote
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
73
Voted
CHI
2002
ACM
16 years 1 months ago
2002
ACM
The task of organizing information is typically performed either by physically manipulating note cards or sticky notes or by arranging icons on a computer with a graphical user in...
99
Voted
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Protein conformational changes play a critical role in biological functions such as ligand-protein and protein-protein interactions. Due to the noise in structural data, ...