|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 288 occurrences of 166 keywords
|
|
|
Results
Found 439 publication records. Showing 439 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Luís Moura Silva, Javier Alonso 0001, Paulo Silva, Jordi Torres, Artur Andrzejak 0001 |
Using Virtualization to Improve Software Rejuvenation. |
NCA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Alan Wood, Swami Nathan |
RAS by the Yard. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Roberto Filippini, Soumen Sen, Giovanni Tonietti, Antonio Bicchi |
A Comparative Dependability Analysis of Antagonistic Actuation Arrangements for Enhanced Robotic Safety. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Michael Knoke, Armin Zimmermann |
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Wojciech Zamojski, Dariusz Caban |
Introduction to the Dependability Modeling of Computer Systems. |
DepCoS-RELCOMEX |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Yuan Cai, Marcus T. Schmitz, Alireza Ejlali, Bashir M. Al-Hashimi, Sudhakar M. Reddy |
Cache size selection for performance, energy and reliability of time-constrained systems. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Robert C. Zeleznik, Timothy S. Miller |
Fluid inking: augmenting the medium of free-form inking with gestures. |
Graphics Interface |
2006 |
DBLP BibTeX RDF |
button-free, tablet computing, terminal punctuation, gestures, inking |
13 | Wei Luo, Fumin Yang, Liping Pang, Xiao Qin 0001 |
Fault-Tolerant Scheduling Based on Periodic Tasks for Heterogeneous Systems. |
ATC |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Salem Derisavi, Peter Kemper, William H. Sanders |
Lumping Matrix Diagram Representations of Markov Models. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Ana Busic, Jean-Michel Fourneau |
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
13 | |
CCGrid 2005 Committees. |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Ana Paula Couto da Silva, Rosa M. M. Leão, Edmundo de Souza e Silva |
An efficient approximate technique for solving fluid models. |
SIGMETRICS Perform. Evaluation Rev. |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Juan A. Carrasco |
Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Charles P. Shelton, Philip Koopman |
Improving System Dependability with Functional Alternatives. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Ludmila Cherkasova, Wenting Tang, Sharad Singhal |
An SLA-Oriented Capacity Planning Tool for Streaming Media Services. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Agapios N. Platis, Costas Lambrinoudakis, Assimakis K. Leros |
A Probabilistic Model for Evaluating the Operational Cost of PKI-based Financial Transactions. |
EuroPKI |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Mauro Iacono, Stefano Marrone 0001, Nicola Mazzocca, Francesco Moscato 0001, Valeria Vittorini |
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. |
PARA |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi |
Modeling and Evaluation with Object Stochastic Activity Networks. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli |
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. |
ISAS |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Alma Riska, Evgenia Smirni, Gianfranco Ciardo |
An aggregation-based method for the exact analysis of a class of GI/G/1-type processes. |
SIGMETRICS Perform. Evaluation Rev. |
2003 |
DBLP DOI BibTeX RDF |
GI/G/1-type processess, GI/M/1-type processes, M/G/1-type processes, matrix-analytic techniques, stochastic complementation, Markov chains, reliability analysis |
13 | Stephen Gilmore, Leïla Kloul |
A Unified Tool for Performance Modelling and Prediction. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Marco Conti, Enrico Gregori, Gaia Maselli |
Towards Reliable Forwarding for Ad Hoc Networks. |
PWC |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Kiejin Park, Sungsoo Kim, Jyh-Charn Liu |
A New Availability Concept for (n, k)-way Cluster Systems Regarding Waiting Time. |
ICCSA (1) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi |
Modeling and Quantification of Security Attributes of Software Systems. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Olivia Das, C. Murray Woodside |
Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Michael Gillmann, Gerhard Weikum, Wolfgang Wonner |
Workflow management with service quality guarantees. |
SIGMOD Conference |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Stéphanie Mahévas, Gerardo Rubino |
Bound Computation of Dependability and Performance Measures. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
bounding techniques, performance evaluation, Markov chains, numerical analysis, Dependability evaluation |
13 | Markus Siegle |
Advances in Model Representations. |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Kalyanaraman Vaidyanathan, Richard E. Harper, Steven W. Hunter, Kishor S. Trivedi |
Analysis and implementation of software rejuvenation in cluster systems. |
SIGMETRICS/Performance |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Andrea Bobbio, Antonio Puliafito, Miklós Telek |
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
preemptive policies, transient and steady-state analysis, Stochastic Petri Nets, Markov regenerative processes |
13 | William H. Sanders, John F. Meyer |
Stochastic Activity Networks: Formal Definitions and Concepts. |
European Educational Forum: School on Formal Methods and Performance Analysis |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Domenico Cotroneo, Luigi Romano, Stefano Russo 0001, Nicola Mazzocca |
A CORBA-Based Architecture for Adding Dependability to Legacy Servers. |
PDSE |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Bruno Tuffin, Kishor S. Trivedi |
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP DOI BibTeX RDF |
Fluid Stochastic Petri Nets, Importance splitting techniques, Stochastic Petri Nets, Rare events simulation |
13 | Michael Gillmann, Jeanine Weißenfels, Gerhard Weikum, Achim Kraiss |
Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems. |
EDBT |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi |
IDEA: Integrated Design Environment for Assessment of ATM Networks. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
13 | M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot |
An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm |
13 | Edmundo de Souza e Silva, H. Richard Gail, Reinaldo Vallejos Campos |
Calculating Transient Distributions of Cumulative Reward. |
SIGMETRICS |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Juan A. Carrasco, Angel Calderón |
Regenerative Randomization: Theory and Application Examples. |
SIGMETRICS |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Edmundo de Souza e Silva, Pedro Mejía Ochoa |
State Space Exploration in Markov Models. |
SIGMETRICS |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #439 of 439 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|