3420 search results - page 597 / 684 » A Language-Based Approach to Security |
122
click to vote
HUC
2007
Springer
15 years 10 months ago
2007
Springer
This article investigates the conflicting area of user benefits arising through item level RFID tagging and a desire for privacy. It distinguishes between three approaches feasible...
143
click to vote
ICOST
2007
Springer
15 years 10 months ago
2007
Springer
Tracking the movement of people in indoor environments is useful for a variety of applications including elderly care, study of shopper behavior in shopping centers, security etc. ...
143
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
120
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
118
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...