6308 search results - page 963 / 1262 » Modeling Urgency in Timed Systems |
169
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
166
click to vote
MOBICOM
1997
ACM
15 years 10 months ago
1997
ACM
In a previous paper [elided], we described ARTour Web Express, a software system that makes it possible to run World Wide Web applications over wide-area wireless networks. Our ea...
172
click to vote
USS
2008
15 years 9 months ago
2008
We analyze several recent schemes for watermarking network flows based on splitting the flow into intervals. We show that this approach creates time dependent correlations that en...
162
click to vote
WSC
2007
15 years 9 months ago
2007
The need for interoperability of information systems among supply chain partners has been recognized. A number of standards have been or are being developed to ensure interoperabi...
161
click to vote
AAAI
2006
15 years 8 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...