4762 search results - page 744 / 953 » About the use of protein models |
166
click to vote
ISM
2008
IEEE
16 years 28 days 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...
103
click to vote
INFOCOM
2007
IEEE
16 years 25 days 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...
163
click to vote
CAV
2007
Springer
16 years 21 days 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 ...
179
click to vote
TACAS
2007
Springer
16 years 19 days 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...
176
click to vote
ANSS
2006
IEEE
16 years 18 days 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...