1336 search results - page 109 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
161
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
106
Voted
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Feasibility analysis determines (prior to system execution-time) whether a specified collection of hard-realtime jobs executed on a processing platform can meet all deadlines. In...
143
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
208
Voted
ECSA
2011
Springer
14 years 3 months ago
2011
Springer
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
148
click to vote
ICCD
2006
IEEE
16 years 15 days ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...