1120 search results - page 144 / 224 » Using Enterprise Architecture Models for System Quality Anal... |
139
click to vote
ASPDAC
2001
ACM
15 years 5 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
145
click to vote
APN
2006
Springer
15 years 5 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...
105
click to vote
WOSP
2010
ACM
15 years 8 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
147
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Certain protein families are highly conserved across distantly related organisms and belong to large and functionally diverse superfamilies. The patterns of conservati...
140
click to vote
HICSS
2011
IEEE
14 years 5 months ago
2011
IEEE
IT/business alignment has constantly been among the top priorities for IT executives. From a prescriptive, design research perspective, our analysis of related work shows that nei...