19003 search results - page 136 / 3801 » We Need Assurance! |
POLICY
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...
ICTAI
2008
IEEE
14 years 3 months ago
2008
IEEE
Constraint programming has been used in many applications where uncertainty arises to model safe reasoning. The goal of constraint propagation is to propagate intervals of uncerta...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Because of its excellent bit-error-rate performance, the Low-Density Parity-Check (LDPC) decoding algorithm is gaining increased attention in communication standards and literatur...
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
The paper presents a flexible framework for the online evaluation of collaborative project-oriented e-learning platforms. The framework was developed for the evaluation of the COOP...