4762 search results - page 744 / 953 » About the use of protein models |
105
click to vote
ISM
2008
IEEE
15 years 8 months ago
2008
IEEE
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...
59
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—New protection schemes for video on demand (VOD) in a DWDM ring network are proposed that employ information per customer. Unlike prior schemes that rely on fixed priorities, th...
103
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
126
Voted
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
126
click to vote
ANSS
2006
IEEE
15 years 7 months ago
2006
IEEE
Simulation lag is a known issue in networked virtual environments where users are geographically distributed. When users collaborate across the network using haptics, there are al...