9974 search results - page 1646 / 1995 » Software Interconnection Models |
164
Voted
WORDS
2005
IEEE
16 years 7 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
155
click to vote
SIGIR
2005
ACM
16 years 7 days ago
2005
ACM
Summative evaluation methods for supervised adaptive topic tracking systems convolve the effect of system decisions on present utility with the effect on future utility. This pa...
179
click to vote
ARCS
2005
Springer
16 years 7 days ago
2005
Springer
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
211
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
143
click to vote
DRM
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we describe a novel statistical audio watermarking scheme. Under the control of the masking thresholds, watermark is embedded adaptively and transparently in the pe...