1981 search results - page 352 / 397 » Model-Checking Hierarchical Structures |
FSS
2007
13 years 8 months ago
2007
In Analytic Hierarchy Process (AHP) structured hierarchically as several criteria and alternatives, the priority of an alternative is obtained by using the pairwise comparisons ba...
IPM
2007
13 years 8 months ago
2007
Through the recent NTCIR workshops, patent retrieval casts many challenging issues to information retrieval community. Unlike newspaper articles, patent documents are very long an...
TROB
2008
13 years 8 months ago
2008
Abstract-- Stability analysis of decentralized control mechanisms for networked, coordinating systems has generally focused on specific controller implementations, such as nearest ...
ASE
2004
13 years 8 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
COMCOM
2004
13 years 8 months ago
2004
The Private Network-to-Network Interface (PNNI) is a scalable hierarchical protocol that allows ATM switches to be aggregated into clusters called peer groups. To provide good acc...