This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The Quantitative Evaluation of Systems, First International Conference on (QEST'04)
Enschede, the Netherlands
September 27-September 30
ISBN: 0-7695-2185-1
ASCII Text
x 
 
Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Lam, William H. Sanders, "The M?bius Modeling Environment: Recent Developments," Quantitative Evaluation of Systems, International Conference on, pp. 328-329, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2004.10004,
author = {Tod Courtney and David Daly and Salem Derisavi and Shravan Gaonkar and Mark Griffith and Vinh Lam and William H. Sanders},
title = {The M?bius Modeling Environment: Recent Developments},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2185-1},
pages = {328-329},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10004},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - The M?bius Modeling Environment: Recent Developments
SN - 0-7695-2185-1
SP328
EP329
A1 - Tod Courtney,
A1 - David Daly,
A1 - Salem Derisavi,
A1 - Shravan Gaonkar,
A1 - Mark Griffith,
A1 - Vinh Lam,
A1 - William H. Sanders,
PY - 2004
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
Tod Courtney, University of Illinois at Urbana-Champaign
David Daly, University of Illinois at Urbana-Champaign
Salem Derisavi, University of Illinois at Urbana-Champaign
Shravan Gaonkar, University of Illinois at Urbana-Champaign
Mark Griffith, University of Illinois at Urbana-Champaign
Vinh Lam, University of Illinois at Urbana-Champaign
William H. Sanders, University of Illinois at Urbana-Champaign
The M?bius modeling tool provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool in such a way that they can interact with those already implemented without requiring additional changes to the previously implemented ones. We have continued to add features to the M?bius tool in order to enhance the extensibility of the tool and to allow increased interaction between new and different formalisms and solvers. In this paper, we discuss some recent additions to M?bius, including expanded state variable types, a fixed-point mechanism called "connection," and improvements to CTMC solution that includes a new state level abstract functional interface.
Citation:
Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Lam, William H. Sanders, "The M?bius Modeling Environment: Recent Developments," qest, pp.328-329, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.