4524 search results - page 761 / 905 » The Complexity of Global Constraints |
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
ICTAI
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
ASPDAC
2009
ACM
14 years 28 days ago
2009
ACM
– The phenomenon of digital convergence and increasing application complexity today is motivating the design of chip multiprocessor (CMP) applications with multiple use cases. Mo...
ER
2009
Springer
14 years 27 days ago
2009
Springer
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...
MCSS
2009
Springer
14 years 25 days ago
2009
Springer
- In this paper, we investigate a new approach for the spectrum allocation in UWB systems. This approach consists in a cross-layer scheme that takes into consideration the differen...