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 |
|