1690 search results - page 311 / 338 » Algorithmic Properties of Millstream Systems |
CCS
2003
ACM
15 years 5 months ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...
106
click to vote
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
106
click to vote
ISMIR
2003
Springer
15 years 5 months ago
2003
Springer
Automatic extraction of content description from commercial audio recordings has a number of important applications, from indexing and retrieval through to novel musicological ana...
129
Voted
PG
2000
IEEE
15 years 5 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...
102
click to vote
SC
2000
ACM
15 years 5 months ago
2000
ACM
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...