Sciweavers

3579 search results - page 148 / 716
» Transformations of software models into performance models
Sort
View
EUROMICRO
1996
IEEE
15 years 8 months ago
Performance Analysis of Packet Switching Interconnection Networks with Finite Buffers
In thispaper,a mathematicalmethodfor analysis of synchronous packet-switching interconnection networks with jinite buffering capacity at the output of switching elements ispresent...
Aristotel Tentov, Aksenti L. Grnarov
161
Voted
KBSE
2007
IEEE
15 years 11 months ago
Tools for model-based security engineering: models vs. code
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Jan Jürjens, Yijun Yu
145
Voted
ER
2007
Springer
88views Database» more  ER 2007»
15 years 10 months ago
Teaching a Schema Translator to Produce O/R Views
This paper describes a rule-based algorithm to derive a relational schema from an extended entity-relationship model. Our work is based on an approach by Atzeni and Torlone in whic...
Peter Mork, Philip A. Bernstein, Sergey Melnik
139
Voted
WOSP
2010
ACM
15 years 11 months ago
A general result for deriving product-form solutions in markovian models
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...
Andrea Marin, Maria Grazia Vigliotti
143
Voted
BMCBI
2007
146views more  BMCBI 2007»
15 years 4 months ago
Bayesian hierarchical model for transcriptional module discovery by jointly modeling gene expression and ChIP-chip data
Background: Transcriptional modules (TM) consist of groups of co-regulated genes and transcription factors (TF) regulating their expression. Two high-throughput (HT) experimental ...
Xiangdong Liu, Walter J. Jessen, Siva Sivaganesan,...