1472 search results - page 12 / 295 » Technique Integration for Requirements Assessment |
PDCAT
2007
Springer
14 years 25 days ago
2007
Springer
A communication protocol is a fundamental component of a multi-agent system. The security requirements for a communication protocol should be articulated during the early stages o...
HUC
2011
Springer
12 years 6 months ago
2011
Springer
Sports exercises are beneficial for general health and fitness. Some exercises such as weight lifting are particularly errorprone and using incorrect techniques can result in seri...
DGO
2007
13 years 8 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
BMCBI
2006
13 years 6 months ago
2006
Background: Studies of differential expression that use Affymetrix GeneChip arrays are often carried out with a limited number of replicates. Reasons for this include financial co...
FORMATS
2010
Springer
13 years 4 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...