1179 search results - page 204 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
107
click to vote
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
102
click to vote
WEBI
2005
Springer
15 years 7 months ago
2005
Springer
One of the principal problems of online help is the mismatch between the specialized knowledge and technical vocabulary of experts who are providing the help, and the relative na...
109
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...
IH
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
137
click to vote
SDMW
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...