959 search results - page 127 / 192 » On the implementation of automatic differentiation tools |
129
click to vote
SADFE
2008
IEEE
15 years 10 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
108
click to vote
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
Eavesdropping on electronic communication is usually prevented by using cryptography-based mechanisms. However, these mechanisms do not prevent one from obtaining private informat...
146
Voted
WISE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
160
Voted
FPL
2007
Springer
15 years 10 months ago
2007
Springer
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
104
click to vote
IPOM
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a full video delivery network monitoring suite. Our monitoring tool offers a new view of a video delivery network, a view based on the quality perceived by fi...