3045 search results - page 504 / 609 » Formal Approaches to Software Architecture |
172
click to vote
JHSN
2006
15 years 6 months ago
2006
: With IPSec/VPN policies being widely deployed, how to correctly specify and configure them is critical in enforcing security requirements. Under current practice, IPSec/VPN polic...
185
click to vote
EKAW
2010
Springer
15 years 5 months ago
2010
Springer
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
178
click to vote
ARESEC
2011
14 years 6 months ago
2011
—The concept of risk-based adaptive access control (RAdAC, pronounced Raid-ack) has been recently introduced in the literature. It seeks to automatically (or semi-automatically) ...
167
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
275
click to vote
VLDB
2005
ACM
16 years 6 months ago
2005
ACM
We describe a data-centric software architecture for bioinformatics workflows and a rule-based workflow enactment system that uses declarative specifications of data dependences be...