|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA, pp. 33-44, 2007, IEEE Computer Society, 0-7695-2922-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Alan Wood, Swami Nathan |
RAS by the Yard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 606-611, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 4349-4354, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Michael Knoke, Armin Zimmermann |
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 117-118, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Wojciech Zamojski, Dariusz Caban |
Introduction to the Dependability Modeling of Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 24-28 May 2006, Szklarska Poreba, Poland, pp. 100-109, 2006, IEEE Computer Society, 0-7695-2565-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006, pp. 923-928, 2006, IEEE, 0-7803-9451-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Robert C. Zeleznik, Timothy S. Miller |
Fluid inking: augmenting the medium of free-form inking with gestures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphics Interface ![In: Proceedings of the Graphics Interface 2006 Conference, June 7-9, 2006, Quebec, Canada, pp. 155-162, 2006, Canadian Human-Computer Communications Society, 1-56881-308-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 571-580, 2006, Springer, 3-540-38619-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Salem Derisavi, Peter Kemper, William H. Sanders |
Lumping Matrix Diagram Representations of Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings, pp. 742-751, 2005, IEEE Computer Society, 0-7695-2282-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW/WS-FM ![In: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings, pp. 94-108, 2005, Springer, 3-540-28701-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | |
CCGrid 2005 Committees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK, 2005, IEEE Computer Society, 0-7803-9074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 32(2), pp. 6-8, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Juan A. Carrasco |
Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(9), pp. 1106-1120, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Charles P. Shelton, Philip Koopman |
Improving System Dependability with Functional Alternatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 295-, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Ludmila Cherkasova, Wenting Tang, Sharad Singhal |
An SLA-Oriented Capacity Planning Tool for Streaming Media Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 743-752, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPKI ![In: Public Key Infrastructure, First European PKIWorkshop: Research and Applications, EuroPKI 2004, Samos Island, Greece, June 25-26, 2004, Proceedings, pp. 149-159, 2004, Springer, 3-540-22216-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, pp. 499-508, 2004, Springer, 3-540-29067-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi |
Modeling and Evaluation with Object Stochastic Activity Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pp. 326-327, 2004, IEEE Computer Society, 0-7695-2185-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers, pp. 160-174, 2004, Springer, 3-540-24420-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 31(2), pp. 28-30, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, pp. 179-192, 2003, Springer, 3-540-20126-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Marco Conti, Enrico Gregori, Gaia Maselli |
Towards Reliable Forwarding for Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PWC ![In: Personal Wireless Communications, IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003, Proceedings, pp. 790-804, 2003, Springer, 3-540-20123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part I, pp. 998-1005, 2003, Springer, 3-540-40155-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings, pp. 505-514, 2002, IEEE Computer Society, 0-7695-1597-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Olivia Das, C. Murray Woodside |
Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings, pp. 745-754, 2002, IEEE Computer Society, 0-7695-1597-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Michael Gillmann, Gerhard Weikum, Wolfgang Wonner |
Workflow management with service quality guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, Madison, Wisconsin, USA, June 3-6, 2002, pp. 228-239, 2002, ACM, 1-58113-497-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Stéphanie Mahévas, Gerardo Rubino |
Bound Computation of Dependability and Performance Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(5), pp. 399-413, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
bounding techniques, performance evaluation, Markov chains, numerical analysis, Dependability evaluation |
13 | Markus Siegle |
Advances in Model Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, pp. 1-22, 2001, Springer, 3-540-42556-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS/Performance ![In: Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS/Performance 2001, June 16-20, 2001, Cambridge, MA, USA, pp. 62-71, 2001, ACM, 1-58113-334-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Andrea Bobbio, Antonio Puliafito, Miklós Telek |
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(1), pp. 36-54, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Educational Forum: School on Formal Methods and Performance Analysis ![In: Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures, pp. 315-343, 2000, Springer, 3-540-42479-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSE ![In: International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000, pp. 76-82, 2000, IEEE Computer Society, 0-7695-0634-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Bruno Tuffin, Kishor S. Trivedi |
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings, pp. 216-229, 2000, Springer, 3-540-67260-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT 2000, 7th International Conference on Extending Database Technology, Konstanz, Germany, March 27-31, 2000, Proceedings, pp. 183-201, 2000, Springer, 3-540-67227-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 27-34, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, pp. 335-356, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, Ottawa, Canada, May 15-19, 1995, pp. 231-240, 1995, ACM, 0-89791-695-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Juan A. Carrasco, Angel Calderón |
Regenerative Randomization: Theory and Application Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, Ottawa, Canada, May 15-19, 1995, pp. 241-252, 1995, ACM, 0-89791-695-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Edmundo de Souza e Silva, Pedro Mejía Ochoa |
State Space Exploration in Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, Newport, Rhode Island, USA, June 1-5, 1992, pp. 152-166, 1992, ACM, 0-89791-507-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #439 of 439 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|