22698 search results - page 4113 / 4540 » Modeling in Software Engineering |
153
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
Web services are software artifacts that can be accessed over the Internet. They can be seen as pay-per-view functionalities that are exposed by some service providers. If there a...
155
click to vote
WORDS
2005
IEEE
15 years 11 months 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 ...
149
click to vote
SIGIR
2005
ACM
15 years 11 months 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...
190
click to vote
CCS
2005
ACM
15 years 11 months 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...
139
click to vote
DRM
2005
Springer
15 years 11 months 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...