2607 search results - page 83 / 522 » On the Architecture of System Verification Environments |
181
click to vote
ENTCS
2008
15 years 6 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
215
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
166
click to vote
CSREAPSC
2006
15 years 7 months ago
2006
In this paper, we present a policy-based architecture to be used in identifying the location of users within a pervasive system environment. Mobile users can define their own poli...
172
click to vote
SEDE
2010
15 years 4 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
189
click to vote
SIPS
2006
IEEE
16 years 10 days ago
2006
IEEE
Low-Density Parity-Check (LDPC) codes have been adopted in the physical layer of many communication systems because of their superior performance. The direct implementation of the...