Search results for "integrity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Hao Cai, Andy J. Wellings	Supporting Mixed Criticality Applications in a Ravenscar-Java Environment.	OTM Workshops	2004	DBLP DOI BibTeX RDF
14	Trent Jaeger, Reiner Sailer, Xiaolan Zhang 0001	Resolving constraint conflicts.	SACMAT	2004	DBLP DOI BibTeX RDF	access control models, constraint models, policy design
14	Yong-Joon Park, Gyungho Lee	Repairing return address stack for buffer overflow protection.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	computer architecture, computer security, buffer overflow, intrusion tolerance
14	Gianluigi Greco, Sergio Greco, Ester Zumpano	A Logical Framework for Querying and Repairing Inconsistent Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	consistent queries, disjunctive databases, repair and prioritized constraints, Inconsistent database, database repairs
14	Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola	IBIS: Semantic Data Integration at Work.	CAiSE	2003	DBLP DOI BibTeX RDF
14	Oded Shmueli, Mukund Raghavachari, Vivek Sarkar, Rajesh Bordawekar, Michael G. Burke	Integrating Database and Programming Language Constraints.	DBPL	2003	DBLP DOI BibTeX RDF
14	Erik G. Hoel, Sudhakar Menon, Scott Morehouse	Building a Robust Relational Implementation of Topology.	SSTD	2003	DBLP DOI BibTeX RDF
14	Nahmsuk Oh, Subhasish Mitra, Edward J. McCluskey	ED4I: Error Detection by Diverse Data and Duplicated Instructions.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Software implemented hardware fault tolerance (SIHFT), low cost fault tolerance, data diversity, duplicated instructions, concurrent error detection
14	Bruce Christianson, Jean Fiona Snook	Shrink-Wrapped Optimism: The DODA Approach to Distributed Document Processing.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
14	Leopoldo E. Bertossi, Camilla Schwind	Analytic Tableaux and Database Repairs: Foundations.	FoIKS	2002	DBLP DOI BibTeX RDF
14	Jarek Gryz, K. Bernhard Schiefer, Jian Zheng, Calisto Zuzarte	Discovery and Application of Check Constraints in DB2.	ICDE	2001	DBLP DOI BibTeX RDF
14	Junhu Wang, Rodney W. Topor, Michael J. Maher	Reasoning with Disjunctive Constrained Tuple-Generating Dependencies.	DEXA	2001	DBLP DOI BibTeX RDF
14	Simon Napper, Dian Yang	Equivalence Checking a 256MB SDRAM.	MTDT	2001	DBLP DOI BibTeX RDF
14	Subhasish Mitra, Edward J. McCluskey	Design of Redundant Systems Protected Against Common-Mode Failures.	VTS	2001	DBLP DOI BibTeX RDF
14	Suad Alagic, Philip A. Bernstein	A Model Theory for Generic Schema Management.	DBPL	2001	DBLP DOI BibTeX RDF
14	Virgil D. Gligor, Matt Blaze, John Ioannidis	Denial of Service - Panel Discussion.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
14	Csaba Simon, Attila Török	ATM Security with Firewalls.	ISCC	2000	DBLP DOI BibTeX RDF	ATM security, ATM signaling, firewalls
14	Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer	Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.	Computational Logic	2000	DBLP DOI BibTeX RDF
14	Michael Walker 0001	On the Security of 3GPP Networks.	EUROCRYPT	2000	DBLP DOI BibTeX RDF
14	Maitrayi Sabaratnam, Svein-Olaf Hvasshovd, Øystein Torbjørnsen	Cost of Ensuring Safety in Distributed Database Management Systems.	PRDC	1999	DBLP DOI BibTeX RDF
14	Gerhard Wetzel, Francesca Toni	Semantic Query Optimization through Abduction and Constraint Handling.	FQAS	1998	DBLP DOI BibTeX RDF
14	Nam Huyn	Efficient Complete Local Tests for Conjunctive Query Constraints with Negation.	ICDT	1997	DBLP DOI BibTeX RDF
14	Hee Beng Kuan Tan, Tok Wang Ling	Recovery of Functional Dependencies from Data-Intensive Business Programs.	HICSS (5)	1997	DBLP DOI BibTeX RDF
14	Terry Gaasterland, Jorge Lobo 0001	Using Semantic Information for Processing Negation and Disjunction in Logic Programs.	ISMIS	1993	DBLP DOI BibTeX RDF
14	Norbert Kehrer, Gustaf Neumann	Treating Enhanced Entity Relationship Models in a Declarative Style.	RCLP	1991	DBLP DOI BibTeX RDF
14	François Bry, Hendrik Decker, Rainer Manthey	A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.	EDBT	1988	DBLP DOI BibTeX RDF
14		Minimal-change Integrity Maintenance.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
14		Data Integrity Services.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
14		Dynamic Integrity Constraints.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
14		Relational Integrity Constraints.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
14		Message Integrity Codes.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
14	Qiang Xu 0001, Yubin Zhang, Krishnendu Chakrabarty	SOC test-architecture optimization for the testing of embedded cores and signal-integrity faults on core-external interconnects.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Core-based system-on-chip, test scheduling, test-access mechanism (TAM), interconnect testing
14	Kevin D. Bowers, Ari Juels, Alina Oprea	HAIL: a high-availability and integrity layer for cloud storage.	CCS	2009	DBLP DOI BibTeX RDF	proofs of retrievability, erasure codes, data availability, distributed storage systems, cloud storage
14	Colin Atkinson 0001, Philipp Bostan, Gergana Deneva, Marcus Schumacher	Towards High Integrity UDDI Systems.	BIS (Workshops)	2009	DBLP DOI BibTeX RDF	Service Discovery, UDDI, Web Services Quality
14	Christian Cachin, Martin Geisler 0001	Integrity Protection for Revision Control.	ACNS	2009	DBLP DOI BibTeX RDF	Hash trees, memory checking, fork linearizability, storage security, applied cryptography
14	Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn	Towards System Integrity Protection with Graph-Based Policy Analysis. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF
14	Heather Richter Lipford, Gordon Hull, Celine Latulipe, Andrew Besmer, Jason Watson	Visible Flows: Contextual Integrity and the Design of Privacy Mechanisms on Social Network Sites.	CSE (4)	2009	DBLP DOI BibTeX RDF
14	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	Datalog±: a unified approach to ontologies and integrity constraints.	ICDT	2009	DBLP DOI BibTeX RDF	ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
14	Md. Sumon Shahriar, Jixue Liu	Checking Satisfactions of XML Referential Integrity Constraints.	AMT	2009	DBLP DOI BibTeX RDF
14	Hsin-Hua Pan, Hung-Ming Chen, Chia-Yi Chang	Buffer/flip-flop block planning for power-integrity-driven floorplanning.	ISQED	2009	DBLP DOI BibTeX RDF
14	Alessandro Zovi, Tullio Vardanega	Requirements on the Target Programming Language for High-Integrity MDE.	Ada-Europe	2009	DBLP DOI BibTeX RDF
14	Saurabh Ganeriwal, Laura Balzano, Mani B. Srivastava	Reputation-based framework for high integrity sensor networks.	ACM Trans. Sens. Networks	2008	DBLP DOI BibTeX RDF	Bayesian formulation, Beta reputation system, Sensor networks, reputation
14	Jorge Semião, Marcial Jesús Rodríguez-Irago, Juan J. Rodríguez-Andina, Leonardo Bisch Piccoli, Fabian Vargas 0001, Marcelino Bicho Dos Santos, Isabel Maria Cacho Teixeira, João Paulo Teixeira 0001	Signal Integrity Enhancement in Digital Circuits.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
14	Raul Barbosa, Johan Karlsson	On the Integrity of Lightweight Checkpoints.	HASE	2008	DBLP DOI BibTeX RDF
14	Sufyan Ababneh, Rashid Ansari, Ashfaq A. Khokhar	Scalable multimedia-content integrity verification with robust hashing.	EIT	2008	DBLP DOI BibTeX RDF
14	Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke	Towards Agile Engineering of High-Integrity Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF
14	Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely	Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).	ESOP	2008	DBLP DOI BibTeX RDF
14	Guojun Peng, Xuanchen Pan, Huanguo Zhang, Jianming Fu	Dynamic Trustiness Authentication Framework Based on Software's Behavior Integrity.	ICYCS	2008	DBLP DOI BibTeX RDF
14	Rathanakar Acharya, K. Asha	Data integrity and intrusion detection in Wireless Sensor Networks.	ICON	2008	DBLP DOI BibTeX RDF
14	Ee-Chien Chang, Jia Xu 0006	Remote Integrity Check with Dishonest Storage Server.	ESORICS	2008	DBLP DOI BibTeX RDF
14	Pierre-Frédéric Villard, Wesley Bourne, Fernando Bello	Modelling Organ Deformation Using Mass-Springs and Tensional Integrity.	ISBMS	2008	DBLP DOI BibTeX RDF	mass-spring, Deformation model, tensegrity, interventional radiology
14	Josef Börcsök, Peter Holub	Different approaches for probability of common cause failure on demand calculations for safety integrity systems.	AICCSA	2008	DBLP DOI BibTeX RDF
14	Noor-ul-Qayyum, Farooq Ahmad	Integrity assurance of mobile agents through public-key encryption and watermarking.	ICDIM	2008	DBLP DOI BibTeX RDF
14	Andrew B. Kahng, Bao Liu 0001, Xu Xu 0001	Statistical Timing Analysis in the Presence of Signal-Integrity Effects.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
14	Hung-Yu Chien	SASI: A New Ultralightweight RFID Authentication Protocol Providing Strong Authentication and Strong Integrity.	IEEE Trans. Dependable Secur. Comput.	2007	DBLP DOI BibTeX RDF	Authentication, Access controls, Security and Privacy Protection, Cryptographic controls
14	Michael Paulitsch, Brendan Hall	Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation.	DSN	2007	DBLP DOI BibTeX RDF
14	Anh-Quynh Nguyen, Yoshiyasu Takefuji	A novel approach for a file-system integrity monitor tool of Xen virtual machine.	AsiaCCS	2007	DBLP DOI BibTeX RDF	Xen virtual machine, intrusion detection, Linux, rootkit
14	Stefano Chessa, Roberto Di Pietro, Erina Ferro, Gaetano Giunta, Gabriele Oligeri	Mobile Application Security for Video Streaming Authentication and Data Integrity Combining Digital Signature and Watermarking Techniques.	VTC Spring	2007	DBLP DOI BibTeX RDF
14	Wen-Hui Chiang, Ling-Jyh Chen, Cheng-Fu Chou	Integrity-Aware Bandwidth Guarding Approach in P2P Networks.	Networking	2007	DBLP DOI BibTeX RDF	freeriding, peer-to-peer, available bandwidth
14	Marcus J. Huber	Agent Autonomy: Social Integrity and Social Independence.	ITNG	2007	DBLP DOI BibTeX RDF
14	Partha Pratim Pande, Amlan Ganguly, Brett Feero, Cristian Grecu	Applicability of Energy Efficient Coding Methodology to Address Signal Integrity in 3D NoC Fabrics.	IOLTS	2007	DBLP DOI BibTeX RDF
14	Daniele Rossi 0001, Paolo Angelini, Cecilia Metra	Configurable Error Control Scheme for NoC Signal Integrity.	IOLTS	2007	DBLP DOI BibTeX RDF
14	Andrew B. T. Hopkins, Klaus D. McDonald-Maier, Evangelos Papoutsis, W. Gareth J. Howells	Ensuring data integrity via ICmetrics based security infrastructure.	AHS	2007	DBLP DOI BibTeX RDF
14	Khaue Rezende Rodrigues, Ronaldo dos Santos Mello	DIInCX: An Approach to Discovery of Implicit Integrity Constraints from XML Data.	IRI	2007	DBLP DOI BibTeX RDF
14	Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen	Assured-Timeliness Integrity Protocols for Distributable Real-Time Threads with in Dynamic Distributed Systems.	EUC Workshops	2007	DBLP DOI BibTeX RDF
14	Hyunsik Kim, Yungseon Eo	High-Frequency-Measurement-Based Frequency-Variant Transmission Line Characterization and Circuit Modeling for Accurate Signal Integrity Verification.	ISQED	2007	DBLP DOI BibTeX RDF
14	Vidya Bharrgavi Balasubramanyn, Geethapriya Thamilarasu, Ramalingam Sridhar	Security Solution For Data Integrity InWireless BioSensor Networks.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
14	Lifu Wang, Partha Dasgupta	Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
14	Makoto Nagata	On-Chip Measurements Complementary to Design Flow for Integrity in SoCs.	DAC	2007	DBLP DOI BibTeX RDF
14	Krishna Bharath, Ege Engin, Madhavan Swaminathan, Kazuhide Uriu, Toru Yamada	Computationally Efficient Power Integrity Simulation for System-on-Package Applications.	DAC	2007	DBLP DOI BibTeX RDF
14	Qiang Xu 0001, Yubin Zhang, Krishnendu Chakrabarty	SOC Test Architecture Optimization for Signal Integrity Faults on Core-External Interconnects.	DAC	2007	DBLP DOI BibTeX RDF
14	Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet	Generating Distributed High Integrity Applications from Their Architectural Description.	Ada-Europe	2007	DBLP DOI BibTeX RDF
14	Matteo Bordin, Tullio Vardanega	Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile
14	Frederic Montagut, Refik Molva	Enforcing Integrity of Execution in Distributed Workflow Management Systems.	IEEE SCC	2007	DBLP DOI BibTeX RDF
14	Alek Radjenovic, Richard F. Paige	Architecture Description Languages for High-Integrity Real-Time Systems.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development
14	Yu Yuan, Kenneth E. Barner	Color Image Segmentation Using Watersheds and Joint Homogeneity-Edge Integrity Region Merging Criteria.	ICIP	2006	DBLP DOI BibTeX RDF
14	Alberto Belussi, Mauro Negri, Giuseppe Pelagatti	An ISO TC 211 Conformant Approach to Model Spatial Integrity Constraints in the Conceptual Design of Geographical Databases.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
14	Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente	Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems.	IPDPS	2006	DBLP DOI BibTeX RDF
14	Tom R. Wielicki	Integrity of Online Testing in E-Learning: Empirical Study.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
14	Nodira Khoussainova, Magdalena Balazinska, Dan Suciu	Towards correcting input data errors probabilistically using integrity constraints.	MobiDE	2006	DBLP DOI BibTeX RDF	entropy maximization, stream processing, data cleaning, probabilistic databases
14	Hamidah Ibrahim	Checking Integrity Constraints - How it Differs in Centralized, Distributed and Parallel Databases.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
14	Eric Pardede, J. Wenny Rahayu, David Taniar	Towards a High Integrity XML Link Update in Object-Relational Database.	ICCSA (1)	2006	DBLP DOI BibTeX RDF
14	Chi-Hung Chi, Lin Liu 0001, Xiaoyin Yu	Data Integrity Related Markup Language and HTTP Protocol Support for Web Intermediaries.	EUC	2006	DBLP DOI BibTeX RDF
14	Taeyong Je, Yungseon Eo	Efficient Signal Integrity Verification Method of Multi-Coupled RLC Interconnect Lines with Asynchronous Circuit Switching.	ISQED	2006	DBLP DOI BibTeX RDF
14	Daniele Braga, Alessandro Campi, Davide Martinenghi	Efficient Integrity Checking over XML Documents.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
14	Joon S. Park, Gautam Jayaprakash, Joseph Giordano	Component Integrity Check and Recovery Against Malicious Codes.	AINA (2)	2006	DBLP DOI BibTeX RDF
14	Anh-Quynh Nguyen, Yoshiyasu Takefuji	A Real-time Integrity Monitor for Xen Virtual Machine.	ICNS	2006	DBLP DOI BibTeX RDF
14	Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente	The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	Ángel Martín del Rey	A Protocol to Provide Assurance of Images Integrity Using Memory Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
14	Hemant Sengar, Duminda Wijesekera, Sushil Jajodia	Authentication and Integrity in Telecommunication Signaling Network.	ECBS	2005	DBLP DOI BibTeX RDF
14	Dariusz Król 0001, Boguslaw Szlachetko	Migration Integrity Rules in Open Systems.	AWIC	2005	DBLP DOI BibTeX RDF
14	Samuel Cheng 0001, Qiang Wu 0007, Kenneth R. Castleman	Non-ubiquitous digital watermarking for record indexing and integrity protection of medical images.	ICIP (2)	2005	DBLP DOI BibTeX RDF
14	Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti	Control-flow integrity.	CCS	2005	DBLP DOI BibTeX RDF	vulnerabilities, control-flow graph, binary rewriting, inlined reference monitors
14	Samuel Leung, Karen Fill, David DiBiase, Andy Nelson	Sharing Academic Integrity Guidance: Working Towards a Digital Library Infrastructure.	ECDL	2005	DBLP DOI BibTeX RDF
14	Marco Ottavi, Luca Schiano, Fabrizio Lombardi, Salvatore Pontarelli, Gian Carlo Cardarilli	Evaluating the Data Integrity of Memory Systems by Configurable Markov Models.	ISVLSI	2005	DBLP DOI BibTeX RDF
14	Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari	Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.	CBMS	2005	DBLP DOI BibTeX RDF
14	Jin-Ho Kim, Byung Suk Lee, Yang-Sae Moon, Sooho Ok, Wookey Lee	Parallel Consistency Maintenance of Materialized Views Using Referential Integrity Constraints in Data Warehouses.	DaWaK	2005	DBLP DOI BibTeX RDF
14	Seokhee Lee 0002, Hyunsang Kim, Sangjin Lee 0002, Jongin Lim 0001	Digital evidence collection process in integrity and memory information gathering.	SADFE	2005	DBLP DOI BibTeX RDF
14	Roverli Pereira Ziwich, Elias Procópio Duarte Jr., Luiz Carlos Pessoa Albini	Distributed Integrity Checking for Systems with Replicated Data.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
14	Tetsu Iwata, Kaoru Kurosawa	How to Enhance the Security of the 3GPP Confidentiality and Integrity Algorithms.	FSE	2005	DBLP DOI BibTeX RDF