2784 search results - page 320 / 557 » Light analysis of complex systems |
152
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
127
click to vote
SIGECOM
2006
ACM
15 years 10 months ago
2006
ACM
We study coalitional games where the value of cooperation among the agents are solely determined by the attributes the agents possess, with no assumption as to how these attribute...
115
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
251
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
155
click to vote
ISIM
2007
15 years 6 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...