3821 search results - page 610 / 765 » A Security Model for Aglets |
163
click to vote
WSC
1998
15 years 7 months ago
1998
This paper explores the use of discrete-event simulation for the design and control of physical protection systems for fixed-site facilities housing items of significant value. It...
196
click to vote
SPLC
2010
15 years 4 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
199
click to vote
ISI
2008
Springer
15 years 6 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
180
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
175
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Algorithms for composing Web services (WS) traditionally utilize the functional and quality-of-service parameters of candidate services to decide which services to include in the ...