Search results for "trustworthy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Changjing Wang, Jinyun Xue	Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.	FAW	2009	DBLP DOI BibTeX RDF	High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid
77	Stephen J. H. Yang, Blue C. W. Lan, Jen-Yao Chung	A Trustworthy Web Services Framework for Business Processes Integration.	WORDS	2005	DBLP DOI BibTeX RDF	Service Oriented Enterprises, Trustworthy WebServices, Business Process Integration
68	Jing Li 0075, Dianfu Ma, Jun Han, Xiang Long	Toward Trustworthy Semantic Web Service Discovery and Selection.	ATC	2009	DBLP DOI BibTeX RDF	Services, Service Discovery, Semantic Web Service, Trustworthy
65	Jian Pei, Man Ki Mag Lau, Philip S. Yu	TS-Trees: A Non-Alterable Search Tree Index for Trustworthy Databases on Write-Once-Read-Many (WORM) Storage.	AINA	2007	DBLP DOI BibTeX RDF
62	Steffen Becker 0001, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli	Towards an Engineering Approach to Component Adaptation.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
56	Hannan Xiao, James A. Malcolm, Bruce Christianson, Ying Zhang 0020	Hierarchical Trustworthy Authentication for Pervasive Computing.	MobiQuitous	2007	DBLP DOI BibTeX RDF
50	Yixiang Chen, Min Zhang 0007, Hong Zhu 0004, Tian-Ming Bu	Average Transitive Trustworthy Degrees for Trustworthy Networks.	RSKT	2009	DBLP DOI BibTeX RDF
47	Soumyadeb Mitra, Marianne Winslett, Windsor W. Hsu, Kevin Chen-Chuan Chang	Trustworthy keyword search for compliance storage.	VLDB J.	2008	DBLP DOI BibTeX RDF	Compliance storage, Jump index, Inverted index
47	Vasu S. Alagar, Mubarak Mohammad	Specification and verification of trustworthy component-based real-time reactive systems.	SAVCBS	2007	DBLP DOI BibTeX RDF	components, trustworthiness, real-time reactive systems
47	Steffen Becker 0001, Wilhelm Hasselbring, Alexandra Paul, Marko Boskovic, Heiko Koziolek, Jan Ploski, Abhishek Dhama, Henrik Lipskoch, Matthias Rohr, Daniel Winteler, Simon Giesecke, Roland Meyer 0001, Mani Swaminathan, Jens Happe, Margarete Muhle, Timo Warns	Trustworthy software systems: a discussion of basic concepts and terminology.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
47	Teddy Furon, Jingen Liu, Yogesh S. Rawat, Wei Zhang 0031, Qi Zhao 0001 (eds.)	Trustworthy AI'21: Proceedings of the 1st International Workshop on Trustworthy AI for Multimedia Computing, Virtual Event, China, 24 October 2021	Trustworthy AI @ ACM Multimedia	2021	DBLP DOI BibTeX RDF
47	Hanwei Zhang, Yannis Avrithis, Teddy Furon, Laurent Amsaleg	Patch Replacement: A Transformation-based Method to Improve Robustness against Adversarial Attacks.	Trustworthy AI @ ACM Multimedia	2021	DBLP DOI BibTeX RDF
47	Mingyan Wu, Shuhan Qi, Jun Rao, Jiajia Zhang 0001, Qing Liao 0001, Xuan Wang 0002, Xinxin Liao	Hierarchical Semantic Enhanced Directional Graph Network for Visual Commonsense Reasoning.	Trustworthy AI @ ACM Multimedia	2021	DBLP DOI BibTeX RDF
47	Jiantao Wu, Shentong Mo, Lin Wang 0004	An Empirical Study of Uncertainty Gap for Disentangling Factors.	Trustworthy AI @ ACM Multimedia	2021	DBLP DOI BibTeX RDF
47	Abhishek Mandal, Susan Leavy, Suzanne Little	Dataset Diversity: Measuring and Mitigating Geographical Bias in Image Search and Retrieval.	Trustworthy AI @ ACM Multimedia	2021	DBLP DOI BibTeX RDF
47	Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter	09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems.	Model-Based Design of Trustworthy Health Information Systems	2009	DBLP BibTeX RDF
47	Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper	Preface -- Workshop Trustworthy Software 2006.	Trustworthy Software	2006	DBLP BibTeX RDF
47	Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski	04511 Abstracts Collection - Architecting Systems with Trustworthy Components.	Architecting Systems with Trustworthy Components	2004	DBLP BibTeX RDF
47	Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek	Trustworthy Instantiation of Frameworks.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
44	Steffen Becker 0001, Lars Grunske, Raffaela Mirandola, Sven Overhage	Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
44	Iman Poernomo	A Type Theoretic Framework for Formal Metamodelling.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
41	Jan Capek, Jitka Komarkova	Trustworthy regional spatial information through web-services.	iiWAS	2009	DBLP DOI BibTeX RDF	dangerous failure state, information sources system, safe failure state, trustworthy information, web services
41	Qinghua Meng, Yongsheng Ding	Small-World Network Inspired Trustworthy Web Service Evaluation and Management Model.	GPC	2007	DBLP DOI BibTeX RDF	web service federation, trustworthy web service, quality of service, loading-balance, small-world network
41	Bhavani Thuraisingham	Assured information sharing between trustworthy, semi-trustworthy and untrustworthy coalition partners.	AsiaCCS	2009	DBLP DOI BibTeX RDF
41	Thomas Weigert	Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems.	SUTC (1)	2006	DBLP DOI BibTeX RDF
39	Jing Sun 0009, Huiqun Zhao, Huibing Xiao, Gongzhu Hu	Lightweight Public Key Infrastructure and Service Relation Model for Designing a Trustworthy ONS.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
39	Ye Yang, Qing Wang 0001, Mingshu Li 0001	Process Trustworthiness as a Capability Indicator for Measuring and Improving Software Trustworthiness.	ICSP	2009	DBLP DOI BibTeX RDF	Software Trustworthiness, Process Trustworthiness, Process Trustworthiness Model, Measurement Model, Risk Management
39	Mahalingam Ramkumar	Trustworthy Computing under Resource Constraints with the DOWN Policy.	IEEE Trans. Dependable Secur. Comput.	2008	DBLP DOI BibTeX RDF	Security, Security, Mobile Computing, integrity and protection
39	Yaohang Li, Daniel Chen, Xiaohong Yuan	Trustworthy remote compiling services for grid-based scientific applications.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Security, Grid computing, Trustworthiness, Remote execution
39	Zongwei Luo, Jenny S. Li, Edward C. Wong	SOA-Trust: Towards Developing Trustworthy RFID Enabled Intelligent Service Solutions.	ICEBE	2007	DBLP DOI BibTeX RDF
39	Soumyadeb Mitra, Marianne Winslett, Windsor W. Hsu, Xiaonan Ma	Trustworthy Migration and Retrieval of Regulatory Compliant Records.	MSST	2007	DBLP DOI BibTeX RDF
39	Yonghwan Lee, Dugki Min	An Integration Framework for Trustworthy Transactions.	ATC	2006	DBLP DOI BibTeX RDF
39	Kris Bubendorfer, Ian Welch, Blayne Chard	Trustworthy Auctions for Grid-Style Economies.	CCGRID	2006	DBLP DOI BibTeX RDF
39	Xuehai Peng, Chuang Lin 0002	Architecture of Trustworthy Networks.	DASC	2006	DBLP DOI BibTeX RDF
36	Tage Stabell-Kulø	Smartcards: Hot to Put them to Use in a User-Centric System.	HUC	2000	DBLP DOI BibTeX RDF
35	Nizar Msadek, Theo Ungerer	Trust as Important Factor for Building Robust Self-x Systems.	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Sarah Edenhofer, Sven Tomforde, Jan Kantert, Lukas Klejnowski, Yvonne Bernard, Jörg Hähner, Christian Müller-Schloer	Trust Communities: An Open, Self-Organised Social Infrastructure of Autonomous Agents.	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Natasha Dwyer, Stephen Marsh 0001	To Trust or Distrust: Has a Digital Environment Empowered Users to Proceed on Their Own Terms?	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Theo Ungerer	The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems.	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Jeremy Pitt	From Trust and Forgiveness to Social Capital and Justice: Formal Models of Social Processes in Open Distributed Systems.	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Gerrit Anders, Florian Siefert, Alexander Schiendorfer, Hella Seebach, Jan-Philipp Steghöfer, Benedikt Eberhardinger, Oliver Kosak, Wolfgang Reif	Specification and Design of Trust-Based Open Self-Organising Systems.	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Stephan Hammer, Michael Wißner, Elisabeth André	A User Trust Model for Automatic Decision-Making in Ubiquitous and Self-Adaptive Environments.	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Cristiano Castelfranchi, Rino Falcone	Trust & Self-Organising Socio-technical Systems.	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Jan Kantert, Sarah Edenhofer, Sven Tomforde, Jörg Hähner, Christian Müller-Schloer	Normative Control: Controlling Open Distributed Systems with Autonomous Entities.	Trustworthy Open Self-Organising Systems	2016	DBLP DOI BibTeX RDF
35	Per Håkon Meland, Erkuden Rios, Vasilis Tountopoulos, Achim D. Brucker	The Aniketos Platform.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Elda Paja, Fabiano Dalpiaz, Paolo Giorgini	The Socio-technical Security Requirements Modelling Language for Secure Composite Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Achim D. Brucker, Luca Compagna, Pierre Guilleminot	Compliance Validation of Secure Service Compositions.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Elke Beck, Sandra Trösterer, Alexander G. Mirnig, Manfred Tscheligi	Characteristics and Addressed Challenges in Evaluating the Aniketos Project Outcome.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Per Håkon Meland, Muhammad Asim 0001, Dhouha Ayed, Fabiano Dalpiaz, Edith Felix, Paolo Giorgini, Susana Gonzáles, Brett Lempereur, John Ronan	Security and Trustworthiness Threats to Composite Services: Taxonomy, Countermeasures, and Research Directions.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Achim D. Brucker	Using SecureBPMN for Modelling Security-Aware Service Compositions.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Per Håkon Meland	Composite Services with Dynamic Behaviour.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Hisain Elshaafi, Jimmy McGibney, Dmitri Botvich	Aggregation and Optimisation of Trustworthiness of Composite Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Konstantinos Giannakakis	Adopting Existing Communication Platforms for Security Enabling Technologies.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Vasilis Tountopoulos, Ira Giannakoudaki, Konstantinos Giannakakis, Lefteris Korres, Leonidas Kallipolitis	Supporting Security and Trust in Complex e-Government Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Muhammad Asim 0001, Artsiom Yautsiukhin, Achim D. Brucker, Brett Lempereur, Qi Shi 0001	Security Policy Monitoring of Composite Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Erkuden Rios, Francesco Malmignati, Eider Iturbe, Michela D'Errico, Mattia Salnitri	From Consumer Requirements to Policies in Secure Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Achim D. Brucker, Francesco Malmignati, Madjid Merabti, Qi Shi 0001, Bo Zhou 0001	The Aniketos Service Composition Framework - Analysing and Ranking of Secure Services.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Stéphane Paul, Alessandra Tedeschi, Erlend Andreas Gjære, Ivonne A. Herrera	The Aniketos Design-Time Framework Applied - A Case in Air Traffic Management.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Elda Paja, Mauro Poggianella, Fabiano Dalpiaz, Pierluigi Roberti, Paolo Giorgini	Security Requirements Engineering with STS-Tool.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	Brett Lempereur, Dhouha Ayed, Muhammad Asim 0001, Madjid Merabti, Qi Shi 0001	Monitoring Threats to Composite Services within the Aniketos Run-Time Framework.	Secure and Trustworthy Service Composition	2014	DBLP DOI BibTeX RDF
35	David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida (eds.)	Towards Trustworthy Elections, New Directions in Electronic Voting	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Ed Gerck	The Witness-Voting System.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Stéphanie Delaune, Steve Kremer, Mark Ryan 0001	Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Douglas W. Jones	On Optical Mark-Sense Scanning.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Hugo Jonker, Wolter Pieters	Anonymity in Voting Revisited.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Stefan Popoveniuc, Benjamin Hosp	An Introduction to PunchScan.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Aggelos Kiayias, Moti Yung	The Vector-Ballot Approach for Online Voting Procedures.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Jeroen van de Graaf	Anonymous One-Time Broadcast Using Non-interactive Dining Cryptographer Nets with Applications to Voting.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	David Lundin	Component Based Electronic Voting Systems.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Miroslaw Kutylowski, Filip Zagórski	Scratch, Click & Vote: E2E Voting over the Internet.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Martin Hirt	Receipt-Free K-out-of-L Voting Based on ElGamal Encryption.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Aleksander Essex, Jeremy Clark, Carlisle Adams	Aperio: High Integrity Elections for Developing Countries.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Akira Otsuka, Hideki Imai	Unconditionally Secure Electronic Voting.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Stefan Popoveniuc, Jeremy Clark, Richard Carback, Aleksander Essex, David Chaum	Securing Optical-Scan Voting.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Jun Furukawa 0001, Kengo Mori, Kazue Sako	An Implementation of a Mix-Net Based Network Voting Scheme and Its Use in a Private Organization.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Shuki Bruck, David R. Jefferson, Ronald L. Rivest	A Modular Voting Architecture ("Frog Voting").	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Ari Juels, Dario Catalano, Markus Jakobsson	Coercion-Resistant Electronic Elections.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Roberto Araújo 0001, Sébastien Foulle, Jacques Traoré	A Practical and Secure Coercion-Resistant Scheme for Internet Voting.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Pedro A. D. Rezende	Electronic Elections: A Balancing Act.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Roberto Araújo 0001, Ricardo Felipe Custódio, Jeroen van de Graaf	A Verifiable Voting Protocol Based on Farnel.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Jonathan A. Goler, Edwin J. Selker	A Secure Architecture for Voting Electronically (SAVE).	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	John Kelsey, Andrew Regenscheid, Tal Moran, David Chaum	Attacking Paper-Based E2E Voting Systems.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Rui Joaquim, Carlos Ribeiro, Paulo Ferreira 0001	Improving Remote Voting Security with CodeVoting.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Peter Y. A. Ryan, Thea Peacock	A Threat Analysis of Prêt à Voter.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Benoît Chevallier-Mames, Pierre-Alain Fouque, David Pointcheval, Julien Stern, Jacques Traoré	On Some Incompatible Properties of Voting Schemes.	Towards Trustworthy Elections	2010	DBLP DOI BibTeX RDF
35	Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter (eds.)	Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009	Model-Based Design of Trustworthy Health Information Systems	2009	DBLP BibTeX RDF
35	Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)	Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers	Architecting Systems with Trustworthy Components	2006	DBLP DOI BibTeX RDF
35	Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)	Architecting Systems with Trustworthy Components, 12.-17. December 2004	Architecting Systems with Trustworthy Components	2006	DBLP BibTeX RDF
35	Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper (eds.)	Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany	Trustworthy Software	2006	DBLP BibTeX RDF
35	Jan Reineke 0001	Shape Analysis of Sets.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Michael Hilker, Christoph Schommer	SANA - Security Analysis in Internet Traffic through Artificial Immune Systems.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Stephan Neuhaus	Isolating Intrusions by Automatic Experiments.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Björn Wachter	Explaining Data Type Reduction in the Shape Analysis Framework.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Ina Schaefer, Arnd Poetzsch-Heffter	Using Abstraction in Modular Verification of Synchronous Adaptive Systems.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Axel Legay, Luca de Alfaro, Marco Faella	An Introduction to the Tool Ticc.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières	An Operator-based Approach to Incremental Development of Conform Protocol State Machines.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles	Formal Validation of Pattern Matching code.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch	Relating two standard notions of secrecy.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Julien Schmaltz, Dominique Borrione	Formalizing On Chip Communications in a Functional Style.	Trustworthy Software	2006	DBLP BibTeX RDF
35	Sabine Glesner, Jan Olaf Blech	Coalgebraic Semantics for Component Systems.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF	verification, semantics, Components, Isabelle/HOL, coinduction, component interaction