2838 search results - page 241 / 568 » Verifying Controlled Components |
PDCN
2004
15 years 2 months ago
2004
The Grid is the computing and data management infrastructure, which is transforming science, business, health and society. This paper deals with a challenging task addressing know...
108
click to vote
DAM
2008
15 years 27 days ago
2008
Packet reordering is an important property of network traffic that should be captured by analytical models of the Transmission Control Protocol (TCP). We study a combinatorial pro...
SSDBM
2005
IEEE
15 years 6 months ago
2005
IEEE
The tools used to analyze scientific data are often distinct from those used to archive, retrieve, and query data. A scientific workflow environment, however, allows one to seamles...
112
click to vote
JUCS
2008
15 years 23 days ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
107
click to vote
TISSEC
2010
14 years 7 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...