Search results for "model-based evaluation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	David M. Nicol, William H. Sanders, Kishor S. Trivedi	Model-Based Evaluation: From Dependability to Security.	IEEE Trans. Dependable Sec. Comput.	2004	DBLP DOI BibTeX RDF	performability evaluation, stochastic modeling, Dependability evaluation, security evaluation
1	Florian Poltschak, Peter Hehenberger, Babak Farrokhzad, Wolfgang Amrhein, Klaus Zeman	Model-Based Evaluation of a Linear Electro Hydraulic Direct Drive.	EUROCAST	2011	DBLP DOI BibTeX RDF
1	Katinka Wolter, Philipp Reinecke, Alfons Mittermaier	Model-Based Evaluation and Improvement of PTP Syntonisation Accuracy in Packet-Switched Backhaul Networks for Mobile Applications.	EPEW	2011	DBLP DOI BibTeX RDF
1	Volker Zerbe, Mario Schulz, Armin Zimmermann, Stephan Marwedel	Model-based evaluation of avionics maintenance and logistics processes.	SMC	2010	DBLP DOI BibTeX RDF
1	Masashi Inoue, Manh Hong Nguyen	User-Model-Based Evaluation for Interactive Image Retrieval.	ACIS-ICIS	2010	DBLP DOI BibTeX RDF
1	Martin Assmann	Model based evaluation of service oriented enterprise architectures.		2009	RDF
1	Michael Kleiber, Carsten Winkelholz, Verena Kinder	Model based evaluation of human perception of stereoscopically visualized semi-transparent surfaces.	Human Vision and Electronic Imaging	2009	DBLP DOI BibTeX RDF
1	Ruth Lamprecht, Peter Kemper	Reflection symmetry detection to reduce the state space of Markovian models.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	dependable computing, state space reduction, symmetry detection, spatial model, Markovian model
1	Kimberly Belli, Sara Wadia-Fascetti, Carey M. Rappaport	Model Based Evaluation of Bridge Decks Using Ground Penetrating Radar.	Comp.-Aided Civil and Infrastruct. Engineering	2008	DBLP DOI BibTeX RDF
1	Jörg Becker, Philipp Bergener, Stefan Kleist, Daniel Pfeiffer, Michael Räckers	Business Process Model-Based Evaluation of ICT Investments in Public Administrations.	AMCIS	2008	DBLP BibTeX RDF
1	Mitra Nasri, Saeed Shariati, Mohsen Sharifi	Availability and Accuracy of Distributed Web Crawlers: A Model-Based Evaluation.	EMS	2008	DBLP DOI BibTeX RDF
1	Farah Magrabi	Using cognitive models to evaluate safety-critical interfaces in healthcare.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	healthcare, cognitive models, usability evaluation, safety-critical systems, goms
1	Robert St. Amant, Thomas E. Horton, Frank E. Ritter	Model-based evaluation of expert cell phone menu interaction.	ACM Trans. Comput.-Hum. Interact.	2007	DBLP DOI BibTeX RDF
1	Marcel Brun, Chao Sima, Jianping Hua, James Lowey, Brent Carroll, Edward Suh, Edward R. Dougherty	Model-based evaluation of clustering validation measures.	Pattern Recognition	2007	DBLP DOI BibTeX RDF
1	Lenja Sorokin, Francisco Montero, Christian Märtin	Flex RIA Development and Usability Evaluation.	WISE Workshops	2007	DBLP DOI BibTeX RDF	model-based evaluation, model-driven development, Flash, web usability, remote usability testing, automated usability evaluation, Flex
1	W. Douglas Obal II, Michael G. McQuinn, William H. Sanders	Detecting and Exploiting Symmetry in Discrete-State Markov Models.	IEEE Transactions on Reliability	2007	DBLP DOI BibTeX RDF
1	Lotte N. S. Andreasen, Johannes J. Struijk	Model-based evaluation of the short-circuited tripolar cuff configuration.	Med. Biol. Engineering and Computing	2006	DBLP DOI BibTeX RDF
1	Rossano Gaeta, Matteo Sereno	Model-based evaluation of search strategies in peer-to-peer networks.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Xunqi Yu, James W. Modestino, Yee Sin Chan	A Model-Based Evaluation Methodology for Assessing the Efficacy of Packet-Level FEC for Delay-Constrained Video Network Transport.	ICIP	2006	DBLP DOI BibTeX RDF
1	W. Douglas Obal II, Michael G. McQuinn, William H. Sanders	Detecting and Exploiting Symmetry in Discrete-state Markov Models.	PRDC	2006	DBLP DOI BibTeX RDF
1	Alex Hai Wang, Peng Liu	Modeling and Evaluating the Survivability of an Intrusion Tolerant Database System.	ESORICS	2006	DBLP DOI BibTeX RDF
1	Iñigo Ugarte, Pablo Sanchez	Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau	A Performability-Oriented Software Rejuvenation Framework for Distributed Applications.	DSN	2005	DBLP DOI BibTeX RDF
1	Félix Díaz-Hermida, Alberto Bugarín, Purificación Cariñena, Senén Barro	Voting-model based evaluation of fuzzy quantified sentences: a general framework.	Fuzzy Sets and Systems	2004	DBLP DOI BibTeX RDF
1	Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini	Model-based evaluation of a radio resource management system for wireless networks.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	modeling, reliability, wireless networks, resource management system, stochastic activity networks
1	Robert St. Amant, Thomas E. Horton, Frank E. Ritter	Model-based evaluation of cell phone menu interaction.	CHI	2004	DBLP DOI BibTeX RDF	menu traversal, evaluation, cognitive modeling, mobile telephones
1	István Majzik, András Pataricza, Andrea Bondavalli	Stochastic Dependability Analysis of System Architecture Based on UML Models.	WADS	2002	DBLP DOI BibTeX RDF
1	Fabio Paternò, Giulio Ballardin	RemUSINE: a bridge between empirical and model-based evaluation when evaluators and users are distant.	Interacting with Computers	2000	DBLP DOI BibTeX RDF
1	Michael zur Muehlen	Evaluation of Workflow Management Systems using Meta Models. (PDF / PS)	HICSS	1999	DBLP BibTeX RDF	Office Systems, Collaborative Work Systems, Workflow Management, Meta Analysis, Software Evaluation, IS Models, IS Evaluation
1	Koen L. Vincken, André S. E. Koster, Cornelis N. de Graaf, Max A. Viergever	Model-based Evaluation of Image Segmentation Methods.	Theoretical Foundations of Computer Vision	1998	DBLP BibTeX RDF
1	Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth	Modeling and Evaluating Design Alternatives for an On-Line Instrumentation System: A Case Study.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Instrumentation system, resource occupancy model, monitoring, workload characterization, intrusion, parallel and distributed system, parallel tools
1	Binoy Ravindran, Lonnie R. Welch, Christian Kelling	Building Distributed Scalable Dependable Real-TimeSystems.	ECBS	1997	DBLP DOI BibTeX RDF	performance evaluation, distributed systems, real-time system, Petri nets, dependability, control system