1790 search results - page 169 / 358 » On Privacy Models for RFID |
184
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
157
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
187
click to vote
SP
1987
IEEE
15 years 10 months ago
1987
IEEE
Most discussions of computer security focus on control of disclosure. In Particular, the U.S. Department of Defense has developed a set of criteria for computer mechanisms to prov...
170
click to vote
OOPSLA
2010
Springer
2010
Springer
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
15 years 4 months ago
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
235
click to vote
SPE
2011
15 years 1 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...