Search results for "Integrity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Andrew Ireland, Bill J. Ellis, Andrew Cook, Roderick Chapman, Janet Barnes	An Integrated Approach to High Integrity Software Verification.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	static analysis, SPARK, program proof, proof planning
19	José Enrique Armendáriz-Iñigo, J. R. Juárez-Rodríguez, Hendrik Decker, Francesc D. Muñoz-Escoí	Trying to Cater for Replication Consistency and Integrity of Highly Available Data.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
19	Qiuju Lee, Stéphane Bressan, J. Wenny Rahayu	XShreX: Maintaining Integrity Constraints in the Mapping of XML Schema to Relational.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
19	Henning Christiansen 0001, Davide Martinenghi	On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
19	Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot	Communication Integrity in Networks for Critical Control Systems.	EDCC	2006	DBLP DOI BibTeX RDF
19	Srdjan Capkun, Mario Cagalj	Integrity regions: authentication through presence in wireless networks.	Workshop on Wireless Security	2006	DBLP DOI BibTeX RDF	wireless networks, authentication, key establishment, distance bounding
19	Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum	Privacy and Contextual Integrity: Framework and Applications.	S&P	2006	DBLP DOI BibTeX RDF
19	Guillaume Duc, Ronan Keryell	CryptoPage: An Efficient Secure Architecture with Memory Encryption, Integrity and Information Leakage Protection.	ACSAC	2006	DBLP DOI BibTeX RDF
19	Xinwen Zhang, Songqing Chen, Ravi S. Sandhu	Enhancing Data Authenticity and Integrity in P2P Systems.	IEEE Internet Comput.	2005	DBLP DOI BibTeX RDF	security, ad hoc network, peer-to-peer, trust computing
19	Henning Christiansen 0001, Davide Martinenghi	Incremental Integrity Checking: Limitations and Possibilities.	LPAR	2005	DBLP DOI BibTeX RDF
19	Chris J. Mitchell	Cryptanalysis of Two Variants of PCBC Mode When Used for Message Integrity.	ACISP	2005	DBLP DOI BibTeX RDF
19	Mahadevan Gomathisankaran, Akhilesh Tyagi	TIVA: Trusted Integrity Verification Architecture.	DRMTICS	2005	DBLP DOI BibTeX RDF
19	Ramaswamy Chandramouli, Scott Rose	An Integrity Verification Scheme for DNS Zone file based on Security Impact Analysis.	ACSAC	2005	DBLP DOI BibTeX RDF
19	Artur Bykowski, Thomas Daurel, Nicolas Méger, Christophe Rigotti	Integrity Constraints over Association Rules.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
19	Ting-Yuan Wang, Jeng-Liang Tsai, Charlie Chung-Ping Chen	Thermal and Power Integrity Based Power/Ground Networks Optimization.	DATE	2004	DBLP DOI BibTeX RDF
19	Ana Ferreira 0001, Ricardo João Cruz Correia, Luis Antunes 0002, Ernesto Palhares, Pedro Manuel Vieira Marques, Pedro Costa, Altamiro da Costa Pereira	Integrity for Electronic Patient Record Reports.	CBMS	2004	DBLP DOI BibTeX RDF
19	Gerome Miklau, Dan Suciu	Modeling Integrity in Data Exchange.	Secure Data Management	2004	DBLP DOI BibTeX RDF
19	Tetsu Iwata, Tadayoshi Kohno	New Security Proofs for the 3GPP Confidentiality and Integrity Algorithms.	FSE	2004	DBLP DOI BibTeX RDF
19	Fujita Tomonori, Ogawara Masanori	Protecting the Integrity of an Entire File System.	IWIA	2003	DBLP DOI BibTeX RDF
19	G. Edward Suh, Dwaine E. Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas	Efficient Memory Integrity Verification and Encryption for Secure Processors.	MICRO	2003	DBLP DOI BibTeX RDF
19	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study.	DALT	2003	DBLP DOI BibTeX RDF
19	Mehdi Snene, Jorge Pardellas	Distributed Information System Design Based on Integrity Constraints Optimization: The FKDO Algorithm.	OOIS	2003	DBLP DOI BibTeX RDF
19	Suzanne M. Embury, Jianhua Shao 0001	Analysing the Impact of Adding Integrity Constraints to Information Systems.	CAiSE	2003	DBLP DOI BibTeX RDF
19	Henning Christiansen 0001, Davide Martinenghi	Simplification of Database Integrity Constraints Revisited: A Transformational Approach.	LOPSTR	2003	DBLP DOI BibTeX RDF
19	Luigi Catuogno, Ivan Visconti	A Format-Independent Architecture for Run-Time Integrity Checking of Executable Code.	SCN	2002	DBLP DOI BibTeX RDF
19	Alejandro Alonso 0001, Roberto López, Tullio Vardanega, Juan Antonio de la Puente	Using Object Orientation in High Integrity Applications: A Case Study.	Ada-Europe	2002	DBLP DOI BibTeX RDF
19	Xiaochun Yang 0001, Guoren Wang	Mapping Referential Integrity Constraints from Relational Databases to XML.	WAIM	2001	DBLP DOI BibTeX RDF
19	Wenfei Fan, Leonid Libkin	On XML Integrity Constraints in the Presence of DTDs. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
19	Darren Reed	'Making Conversation': Sequential Integrity and the Local Management of Interaction on Internet Newsgroups.	HICSS	2001	DBLP DOI BibTeX RDF
19	Josef Scharinger	Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution.	EUROCAST	2001	DBLP DOI BibTeX RDF
19	Chung-Ping Wu, C.-C. Jay Kuo	Speech Content Integrity Verification Integrated with ITU G.723.1 Speech Coding.	ITCC	2001	DBLP DOI BibTeX RDF
19	Barry G. T. Lowden, Jerome Robinson	Extended Query Answering Using Integrity Rules.	ISMIS	2000	DBLP DOI BibTeX RDF
19	Graham Shaw	Digital document integrity.	ACM Multimedia Workshops	2000	DBLP DOI BibTeX RDF
19	Wenfei Fan, Jérôme Siméon	Integrity Constraints for XML.	PODS	2000	DBLP DOI BibTeX RDF
19	Barry G. T. Lowden, Jerome Robinson	A Fast Method for Ensuring the Consistence of Integrity Constraints.	DEXA	1999	DBLP DOI BibTeX RDF
19	Sébastien Konieczny, Ramón Pino Pérez	Merging with Integrity Constraints.	ESCQARU	1999	DBLP DOI BibTeX RDF
19	Dante Del Corso, Claudio Sansoè, Emanuela Ovcin	Signal Integrity: An Interactive Multimedia Course.	MSE	1999	DBLP DOI BibTeX RDF
19	Hien Ha, Forrest Brewer	Power and signal integrity improvement in ultra high-speed current mode logic.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
19	Monique Snoeck, Guido Dedene	Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	existence dependency, Software engineering, composition, conceptual model, aggregation, quality, object-oriented analysis, consistency checking
19	Krzysztof Cetnarowicz, Grzegorz Dobrowolski, Marek Kisiel-Dorohinicki, Edward Nawarecki	Functional Integrity of MAS through the Dynamics of the Agents' Population.	ICMAS	1998	DBLP DOI BibTeX RDF
19	Ingrid Biehl, Bernd Meyer 0002, Susanne Wetzel	Ensuring the Integrity of Agent-Based Computations by Short Proofs.	Mobile Agents	1998	DBLP DOI BibTeX RDF
19	Frank Y. Yuan	Electromagnetic Modeling and Signal Integrity Simulation of Power/Ground Networks in High Speed Digital Packages and Printed Circuit Boards.	DAC	1998	DBLP DOI BibTeX RDF	migration, timing optimazation, custom sizing
19	Kenneth A. Ross, Divesh Srivastava, S. Sudarshan 0001	Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
19	Sin Yeung Lee, Tok Wang Ling	Improving Integrity Constraint Checking for Stratified Deductive Databases.	DEXA	1994	DBLP DOI BibTeX RDF
19	Jan Chomicki, Damian Niwinski	On the Feasibility of Checking Temporal Integrity Constraints.	PODS	1993	DBLP DOI BibTeX RDF
19	Alfs T. Berztiss	Operational Construction of Integrity Constraints.	SEKE	1992	DBLP DOI BibTeX RDF
19	Thanasis Hadzilacos, Nectaria Tryfona	A Model for Expressing topological Integrity Constraints in Geographic Databases.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
19	Manfred A. Jeusfeld, Matthias Jarke	From Relational to Object-Oriented Integrity Simplification.	DOOD	1991	DBLP DOI BibTeX RDF
19	Klaus Hülsmann, Gunter Saake	Representation of the Historical Information Necessary for Temporal Integrity Monitoring.	EDBT	1990	DBLP DOI BibTeX RDF
19	Stephanie J. Cammarata, Prasadram Ramachandra, Darrell Shane	Extendeing a Relational Database with Deferred Referential Integrity Checking and Intelligent Joins.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
19	Eric Simon, Patrick Valduriez	Design and Implementation of an Extendible Integrity Subsystem.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
19	Norman R. Nielsen, Brian Ruder, David H. Brandin	Effective safeguards for computer system integrity.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
19	Lluís Garcia Pueyo	Integrity 2024: Integrity in Social Networks and Media.	SIGWEB Newsl.	2024	DBLP DOI BibTeX RDF
19	Jyh-haw Yeh, Md Mashrur Arifin, Ning Shen, Ujwal Karki, Yi Xie, Archana Nanjundarao	Integrity coded databases - protecting data integrity for outsourced databases.	Comput. Secur.	2024	DBLP DOI BibTeX RDF
19	Lluís Garcia Pueyo, Symeon Papadopoulos, Prathyusha Senthil Kumar, Aristides Gionis, Panayiotis Tsaparas, Vasilis Verroios, Giuseppe Manco 0001, Anton Andryeyev, Stefano Cresci, Timos Sellis, Anthony McCosker	Integrity 2024: Integrity in Social Networks and Media.	WSDM	2024	DBLP DOI BibTeX RDF
19	Yuan Cao, Yuwei Jiang, Yong Zhao	A study on the content of integrity policies and research integrity management in Chinese universities.	Frontiers Res. Metrics Anal.	2023	DBLP DOI BibTeX RDF
19	Marcelo Persegona, Betânia Santos, Matheus M. Cruz, Neyson Pinheiro Freire, Bruno Galvão Ferola, Flávia Bernardini, Júlia Marcolino Persegona	Digital Services Promoting Compliance, Integrity and Anti-Corruption the Case of Brazilian Cofen and Regional Nursing Councils System's Integrity Program (poster).	EGOV-CeDEM-ePart-*	2023	DBLP BibTeX RDF
19	Howon Lee, Yoonyoung Park, Yoonjae Chae, Sungchul Lee	Application Integrity Assurance System: Using Blockchain for Securing Application Package Integrity.	RACS	2023	DBLP DOI BibTeX RDF
19	Lluís Garcia Pueyo, Panayiotis Tsaparas, Prathyusha Senthil Kumar, Timos Sellis, Paolo Papotti, Sibel Adali, Giuseppe Manco 0001, Tudor Trufinescu, Gireeja Ranade, James R. Verbus, Mehmet N. Tek, Anthony McCosker	Integrity 2023: Integrity in Social Networks and Media.	WSDM	2023	DBLP DOI BibTeX RDF
19	Lluís Garcia Pueyo, Panayiotis Tsaparas, Anand Bhaskar, Prathyusha Senthil Kumar, Roelof van Zwol, Timos Sellis, Anthony McCosker, Paolo Papotti	Integrity 2022: Integrity in Social Networks and Media.	CoRR	2022	DBLP DOI BibTeX RDF
19	Ye Wang 0004, Qingbao Li, Zhifeng Chen, Ping Zhang, Guimin Zhang, Zhihui Shi	BCI-CFI: A context-sensitive control-flow integrity method based on branch correlation integrity.	Inf. Softw. Technol.	2021	DBLP DOI BibTeX RDF
19	Minakshi Kamboj, Sanjeev Rana	An Effective Integrity Verification Scheme for Ensuring Data Integrity in Cloud Computing.	IBICA	2021	DBLP DOI BibTeX RDF
19	Lluis Garcia Pueyo, Anand Bhaskar, Roelof van Zwol, Timos Sellis, Gireeja Ranade, Prathyusha Senthil Kumar, Yu Sun 0021, Joy Zhang	Integrity 2021: Integrity in Social Networks and Media.	WSDM	2021	DBLP DOI BibTeX RDF
19	Lise Degn	Integrating Integrity: The Organizational Translation of Policies on Research Integrity.	Sci. Eng. Ethics	2020	DBLP DOI BibTeX RDF
19	Luca Wilke, Jan Wichelmann, Mathias Morbitzer, Thomas Eisenbarth 0001	SEVurity: No Security Without Integrity - Breaking Integrity-Free Memory Encryption with Minimal Assumptions.	CoRR	2020	DBLP BibTeX RDF
19	Luca Wilke, Jan Wichelmann, Mathias Morbitzer, Thomas Eisenbarth 0001	SEVurity: No Security Without Integrity : Breaking Integrity-Free Memory Encryption with Minimal Assumptions.	SP	2020	DBLP DOI BibTeX RDF
19	Lluis Garcia Pueyo, Anand Bhaskar, Panayiotis Tsaparas, Aristides Gionis, Tina Eliassi-Rad, Maria Daltayanni, Yu Sun 0021, Panagiotis Papadimitriou 0002	Integrity 2020: Integrity in Social Networks and Media.	WSDM	2020	DBLP DOI BibTeX RDF
19	Alison Kretser, Delia Murphy, Stefano Bertuzzi, Todd Abraham, David B. Allison, Kathryn J. Boor, Johanna Dwyer, Andrea Grantham, Linda J. Harris, Rachelle Hollander, Chavonda Jacobs-Young, Sarah M. Rovito, Dorothea Vafiadis, Catherine Woteki, Jessica M. Wyndham, Rickey Y. Yada	Scientific Integrity Principles and Best Practices: Recommendations from a Scientific Integrity Consortium.	Sci. Eng. Ethics	2019	DBLP DOI BibTeX RDF
19	Maryam Nooraei Abadeh, Shohreh Ajoudanian	A model-driven framework to enhance the consistency of logical integrity constraints: Introducing integrity regression testing.	Softw. Pract. Exp.	2019	DBLP DOI BibTeX RDF
19	Ziheng Wei, Uwe Leck, Sebastian Link	Entity Integrity, Referential Integrity, and Query Optimization with Embedded Uniqueness Constraints.	ICDE	2019	DBLP DOI BibTeX RDF
19	Pascal Urien	Integrity Issues for IoT: From Experiment to Classification Introducing Integrity Probes.	IoTBDS	2019	DBLP DOI BibTeX RDF
19	Jyh-haw Yeh, Hung-Min Sun, Ujwal Karki, Daniel Kondratyuk, Ning Shen	Integrity Coded Databases - Protecting Data Integrity for Outsourced Databases.		2018	DOI RDF
19	Aleksander Sniady, José Soler, Mohamed Kassab, Marion Berbineau	Ensuring Long-Term Data Integrity: ETCS Data Integrity Requirements Can Be Fulfilled Even under Unfavorable Conditions with the Proper LTE Mechanisms.	IEEE Veh. Technol. Mag.	2016	DBLP DOI BibTeX RDF
19	Abdeljebar Ameziane El Hassani, Anas Abou El Kalam, Adel Bouhoula, Ryma Abassi, Abdellah Ait Ouahman	Integrity-OrBAC: a new model to preserve Critical Infrastructures integrity.	Int. J. Inf. Sec.	2015	DBLP DOI BibTeX RDF
19	Simon, Judy Sheard	Academic Integrity and Professional Integrity in Computing Education.	ITiCSE	2015	DBLP DOI BibTeX RDF
19	Kathrin Höhner	Akademische Integrität und die Bekämpfung von Plagiaten als Handlungsfelder für Hochschulen und ihre Bibliotheken - Überlegungen von der Zweiten Mainzer Tagung zur Akademischen Integrität / Academic integrity and plagiarism control as spheres of activity for universities and their libraries - Thoughts from the second Mainz conference on academic integrity / L'intégrité académique et la lutte contre le plagiat comme champs d'action pour les universités et leurs bibliothèques - quelques réflexions de la seconde Conférence de Mayence portant sur l'intégrité académique.	Inf. Wiss. Prax.	2014	DBLP DOI BibTeX RDF
19	Dominik Schuh	Auf dem Weg zur akademischen Integrität - Ziele und Maßnahmen des Projekts "Akademische Integrität" / On the wayto academic integrity - objectives and measures ofthe project "academic integrity" / En route vers l'intégrité académique - Les objectifs et mesures du projet »Intégrité académique«.	Inf. Wiss. Prax.	2014	DBLP DOI BibTeX RDF
19	Shuk Ying Ho, Patrick Y. K. Chau	The Effects of Location Personalization on Integrity Trust and Integrity Distrust in Mobile Merchants.	Int. J. Electron. Commer.	2013	DBLP DOI BibTeX RDF
19	Sagar Chaki	Bounded model checking of high-integrity software.	HILT	2013	DBLP DOI BibTeX RDF
19	Nikolaj S. Bjørner	Satisfiability modulo theories for high integrity development.	HILT	2013	DBLP DOI BibTeX RDF
19	Raj Kumar Nagpal, Jai Narayan Tripathi, Rakesh Malik	Cost-effective optimization of serial link system for Signal Integrity and Power Integrity.	ISQED	2011	DBLP DOI BibTeX RDF
19	Jai Narayan Tripathi, Raj Kumar Nagpal, Rakesh Malik	Robust optimization of serial link system for signal integrity and power integrity.	NESEA	2010	DBLP DOI BibTeX RDF
19	Andrew Camilleri	Composition integrity framework : an integrity monitor for aspect-oriented programs.		2010	RDF
19	Raj Kumar Nagpal, Rakesh Malik, Jai Narayan Tripathi	Signal Integrity and Power Integrity Methodology for Robust Analysis of On-the-Board System for High Speed Serial Links.	DSD	2009	DBLP DOI BibTeX RDF
19	Hendrik Decker	Managing Risks by Integrity Constraints and Integrity Checking.	ICSOFT (Selected Papers)	2009	DBLP DOI BibTeX RDF
19	Hendrik Decker	Modeling and Monitoring the Quality of Data by Integrity Constraints and Integrity Checking.	ICSOFT (2)	2009	DBLP BibTeX RDF
19	Stephan Mäs	Checking the Integrity of Spatial Integrity Constraints.	Constraint Databases, Geometric Elimination and Geographic Information Systems	2007	DBLP BibTeX RDF
19	Ben Moss	The data integrity problem and multi-layered document integrity.		2007	RDF
19	Idris Hsi	The conceptual integrity of software: using ontological excavation and analysis towards ensuring conceptual integrity in the design and architecture of computing applications.		2005	RDF
19	Sushil Jajodia, Leon Strous (eds.)	Integrity and Internal Control in Information Systems VI - IFIP TC11/WG11.5 Sixth Working Conference on Integrity and Internal Control in Information Systems (IICIS) 13-14 November 2003, Lausanne, Switzerland	IICIS	2004	DBLP DOI BibTeX RDF
19	Peng Liu 0005	Attack Aware Integrity Control in Databases (Invited Abstract).	IICIS	2004	DBLP DOI BibTeX RDF
19	Csilla Farkas, Vaibhav Gowadia, Amit Jain, D. Roy	From XML to RDF: Syntax, Semantics, Security, and Integrity (Invited Paper).	IICIS	2004	DBLP DOI BibTeX RDF
19	Yanjun Zuo, Brajendra Panda	A Trust-Based Model for Information Integrity in Open Systems.	IICIS	2004	DBLP DOI BibTeX RDF
19	Hamidah Ibrahim	Parallel Execution of Transaction and Integrity Rules for Maintaining Database Integrity.	PDPTA	2003	DBLP BibTeX RDF
19	Michael Gertz 0001 (eds.)	Integrity and Internal Control in Information Systems V, IFIP TC11/WG11.5 Fifth Working Conference on Integrity and Internal Control in Information Systems (IICIS), November 11-12, 2002, Bonn, Germany	IICIS	2003	DBLP BibTeX RDF
19	Jan Chomicki	Consistent Query Answering - Recent Developments and Future Directions.	IICIS	2003	DBLP DOI BibTeX RDF
19	Solange Ghernaouti-Helie	From Security Culture to Effective E-Security Solutions.	IICIS	2003	DBLP DOI BibTeX RDF
19	Binling Jin, Suzanne M. Embury	Reducing Disruption in Time-Tabled Condition Monitoring.	IICIS	2003	DBLP DOI BibTeX RDF
19	Sebastian Höhn, Jan Jürjens	Automated Checking of SAP Security Permisisons.	IICIS	2003	DBLP DOI BibTeX RDF
19	Yanjun Zuo, Brajendra Panda	A Service Oriented System Based Information Flow Model for Damage Assessment.	IICIS	2003	DBLP DOI BibTeX RDF