1120 search results - page 166 / 224 » Using Enterprise Architecture Models for System Quality Anal... |
124
click to vote
CC
2010
Springer
15 years 8 months ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
104
click to vote
WSE
2006
IEEE
15 years 7 months ago
2006
IEEE
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
118
click to vote
ECSA
2010
Springer
15 years 1 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
113
click to vote
FSTTCS
2003
Springer
15 years 6 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
125
click to vote
STTT
2010
14 years 11 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...