Search results for "SWN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Giuliana Franceschinis, Richard R. Muntz	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	quasilumpable stochastic well-formed Nets, stochastic well-formed colored Petri nets, aggregated reachability graph, qualitative properties, quasilumpable SWN models, approximated performance indices, SWN models, bounded aggregation method, performance evaluation, Petri nets, Markov processes, stochastic processes, continuous time Markov chain, performance indices, symbolic reachability graph
96	Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale	Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	parametric fault tree, stochastic well-formed nets, Dependability analysis
88	Lorenzo Capra	Applying a Symbolic Approach for SWN Enabling Test to Workflow Models.	SYNASC	2006	DBLP DOI BibTeX RDF
88	Rossano Gaeta, Marco Ajmone Marsan	SWN Analysis and Simulation of Large Knockout ATM Switches.	ICATPN	1998	DBLP DOI BibTeX RDF
88	Oliver Botti, Susanna Donatelli, Giuliana Franceschinis	Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	Simulation, Performance evaluation, Petri nets, Parallel architectures, Stochastic Petri nets
77	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone 0001, Nicola Mazzocca, Valeria Vittorini	Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.	ICATPN	2004	DBLP DOI BibTeX RDF
69	Susanna Donatelli, Liliana Ferro	Validation of GSPN and SWN Models through the PROD Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
69	Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié	Towards Performance Analysis with Partially Symmetrical SWN.	MASCOTS	1999	DBLP DOI BibTeX RDF	Performance Petri Nets, Symmetry, Stochastic Petri Nets, High Level Petri nets
68	Marco Ajmone Marsan, Rossano Gaeta	Modeling ATMsystems with GSPNs and SWNs.	SIGMETRICS Perform. Evaluation Rev.	1998	DBLP DOI BibTeX RDF	Gauss switch, SWN, knockout switch, ATM, LAN, ABR, GSPN
58	Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston	Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.	ACSD	2006	DBLP DOI BibTeX RDF
58	Giuliana Franceschinis	Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
58	Rossano Gaeta	Efficient Discrete-Event Simulation of Colored Petri Nets.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	stochastic well-formed nets, model symmetries, efficient simulation algorithms, Discrete event simulation, high-level Petri nets, symbolic simulation
50	Lynda Mokdad, Mbaye Sene	Performance measures of a call admission control in mobile networks using SWN.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
50	Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux	Extended SWN Solvers in GreatSPN.	QEST	2004	DBLP DOI BibTeX RDF
50	Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro	Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.	ACSD	2003	DBLP DOI BibTeX RDF
50	Lorenzo Capra, Rossano Gaeta, Oliver Botti	SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation.	ICATPN	1999	DBLP DOI BibTeX RDF
38	Yunjuan Cao, Xueping Peng, Kun Zhao, Zhendong Niu, Gx Xu, Weiqiang Wang	Query Expansion Based on Query Log and Small World Characteristic.	WISE	2009	DBLP DOI BibTeX RDF	small world characteristic, Query expansion, mutual information, query log analysis
38	Paolo Ballarini, Simona Bernardi 0001, Susanna Donatelli	Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.	DSN	2002	DBLP DOI BibTeX RDF
30	Oumar A. Sanghare, Mbaye Sene, Joel J. P. C. Rodrigues	Distributed Transactions on Mobile Systems: Performance Evaluation Using SWN.	ICC	2011	DBLP DOI BibTeX RDF
30	Ousmane Diallo, Mbaye Sene, Idrissa Sarr	Freshness-aware metadata management: Performance evaluation with SWN models.	AICCSA	2010	DBLP DOI BibTeX RDF
30	Mbaye Sene, Lynda Mokdad, Serigne Diagne	Load balancing in distributed communication systems: performance evaluation with SWN models.	LCN	2009	DBLP DOI BibTeX RDF
30	Massimiliano De Pierro	Structural analysis of conflicts and causality in GSPN and SWN.		2005	RDF
30	Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone 0001, Nicola Mazzocca	SWN client-server composition operators in the OsMoSys framework.	PNPM	2003	DBLP DOI BibTeX RDF
30	Clément Delamare, Yvon Gardan, Patrice Moreaux	Performance evaluation with asynchronously decomposable SWN: implementation and case study.	PNPM	2003	DBLP DOI BibTeX RDF
30	Giuliana Franceschinis, Claudio Bertoncello, Guido Bruno, Giorgio Lungo Vaschetti, Antonio Pigozzi	SWN Models of a Contact Center: a Case Study.	PNPM	2001	DBLP DOI BibTeX RDF
30	Lorenzo Capra, Rossano Gaeta, Oliver Botti	Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation.	SMC	1998	DBLP DOI BibTeX RDF
30	Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti	Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN.	PNPM	1997	DBLP DOI BibTeX RDF
30	Isabel Rojas	Compositional Construction of SWN models.	Comput. J.	1995	DBLP DOI BibTeX RDF
30	Rossano Gaeta, Giovanni Chiola	Efficient simulation of SWN models.	PNPM	1995	DBLP DOI BibTeX RDF
29	Nabila Salmi, Patrice Moreaux, Malika Ioualalen	Performance evaluation of Fractal component-based systems.	Ann. des Télécommunications	2009	DBLP DOI BibTeX RDF	CBS, SWN, Synchronous composition, Asynchronous composition, Modelling, Performances, Interaction, Component
29	Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad	Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	stochastic well-formed colored nets, SWN, stochastic high-level nets, syntactic restriction, model definition, Markovian performance evaluation, lumpability condition, performance evaluation, computational complexity, computational complexity, complexity, Petri net, Petri nets, performance modeling, multiprocessing systems, memory contention, symbolic reachability graph
19	Long Guo, Xu Cai	Bifurcation Phenomena of Opinion Dynamics in Complex Networks.	Complex (1)	2009	DBLP DOI BibTeX RDF	opinion dynamics, complex networks topology, bifurcation phenomena
19	Felix Halim, Yongzheng Wu, Roland H. C. Yap	Security Issues in Small World Network Routing.	SASO	2008	DBLP DOI BibTeX RDF
19	Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié	Efficient lumpability check in partially symmetric systems.	QEST	2006	DBLP DOI BibTeX RDF
19	Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié	On the use of partial symmetries for lumping Markov chains.	SIGMETRICS Perform. Evaluation Rev.	2001	DBLP DOI BibTeX RDF
19	Simona Bernardi 0001, Susanna Donatelli, András Horváth	Implementing compositionality for stochastic Petri nets.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality