3899 search results - page 453 / 780 » Argumentation for Access Control |
179
click to vote
PCM
2004
Springer
16 years 4 days ago
2004
Springer
For some years, our group at FX Palo Alto Laboratory has been developing technologies to support meeting recording, collaboration, and videoconferencing. This paper presents severa...
175
click to vote
TACAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
186
click to vote
CCS
2000
ACM
15 years 11 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...
168
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
208
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...