|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8893 occurrences of 3857 keywords
|
|
|
Results
Found 17174 publication records. Showing 17174 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Mustaque Ahamad, Rammohan Kordale |
Scalable Consistency Protocols for Distributed Services. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
Scalable services, caching, replication, distributed objects, consistency protocols |
36 | Mayuram S. Krishnan, Marc I. Kellner |
Measuring Process Consistency: Implications for Reducing Software Defects. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
Software process consistency, CMM, software defects, empirical model, software process measurement |
35 | Christoph F. Eick, Paul Werstein |
Rule-Based Consistency Enforcement for Knowledge-Based Systems. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
rule-based consistency enforcement, exception handlers, consistency constraints, rule entities, activation pattern controlled rule, data integrity, knowledge-based systems, knowledge based systems, system performance, consistency checks, application programs, production rule, forward chaining, knowledge-base management system |
34 | Jelica Protic, Veljko M. Milutinovic |
Entry Consistency versus Lazy Release Consistency in DSM Systems: Analytical Comparison and a New Hybrid Solution. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Xueyan Tang, Jianliang Xu, Wang-Chien Lee |
Analysis of TTL-Based Consistency in Unstructured Peer-to-Peer Networks. |
IEEE Trans. Parallel Distributed Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Suiping Zhou, Haifeng Shen |
A Consistency Model for Highly Interactive Multi-player Online Games. |
Annual Simulation Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Kewei Sha, Weisong Shi |
On the Effects of Consistency in Data Operations in Wireless Sensor Networks. |
ICPADS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
Inference and enforcement of data structure consistency specifications. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
data structure repair, dynamic invariant detection |
34 | Christiane V. Pousa, Luís F. W. Góes, Carlos Augusto Paiva da Silva Martins |
Reconfigurable Object Consistency Model. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jinjun Chen, Yun Yang 0001 |
Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Alba Cristina Magalhaes Alves de Melo, Nilo S. B. Silva, Hammurabi das Chagas Mendes, Diego F. Aranha |
Obtaining possible execution histories on multiple memory consistency models. |
SCCC |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Ing-Ray Chen, Jeffery W. Wilson, Frank Driscoll, Karen Rigopoulos |
Performance Analysis of Location-Based Data Consistency Algorithms in Mobile Ad Hoc Networks. |
ICPADS |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Mustaque Ahamad, Michel Raynal |
Ordering vs Timeliness: Two Facets of Consistency? |
Future Directions in Distributed Computing |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Roman Vitenberg, Roy Friedman |
On the Locality of Consistency Conditions. |
DISC |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Abhinav Vora, Zahir Tari, Peter Bertók, Kwong Yuen Lai |
A Mobile Cache Consistency Protocol Using Shareable Read/Write Time Locks. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Alia I. Abdelmoty, Christopher B. Jones |
Towards Maintaining Consistency of Spatial Databases. |
CIKM |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Johannes Osrael, Lorenz Froihofer, Karl M. Göschka, Stefan Beyer, Pablo Galdámez, Francesc D. Muñoz-Escoí |
A System Architecture for Enhanced Availability of Tightly Coupled Distributed Systems. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Paul Dourish |
Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit. |
CSCW |
1996 |
DBLP DOI BibTeX RDF |
CSCW toolkits, Prospero, application control, consistency guarantees, consistency management |
33 | Irit Katriel, Sven Thiel |
Complete Bound Consistency for the Global Cardinality Constraint. |
Constraints An Int. J. |
2005 |
DBLP DOI BibTeX RDF |
global cardinality constraint, matching, graph algorithms, flow, constraint propagation, global constraints, arc consistency, filtering algorithms, bound consistency |
33 | Chaiyasit Manovit, Sudheendra Hangal |
Efficient algorithms for verifying memory consistency. |
SPAA |
2005 |
DBLP DOI BibTeX RDF |
multiprocessor verification, total store order, sequential consistency, memory consistency models, vector clocks |
33 | John B. Carter, John K. Bennett, Willy Zwaenepoel |
Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems |
ACM Trans. Comput. Syst. |
1995 |
DBLP DOI BibTeX RDF |
cache consistency protocols, distributed shared memory, memory models, virtual shared memory, release consistency |
33 | Sushil Jajodia, David Mutchler |
A Pessimistic Consistency Control Algorithm for Replicated Files which Achieves High Availability. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
pessimistic consistency control algorithm, communication link failures, mutual consistency, dynamic voting algorithm, fresh reads, one-copy serializable, data integrity, distributed databases, concurrency control, high availability, network partitioning, replicated files |
33 | Milan Daniel |
Probabilistic Transformations of Belief Functions. |
ECSQARU |
2005 |
DBLP DOI BibTeX RDF |
Probabilistic transformation, Pignistic probability, Combination consistency, ulb-consistency, Dempster-Shafer theory, Belief function |
33 | Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad |
From serializable to causal transactions for collaborative applications. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
serializable transactions, causal transactions, decentralized distributed systems, shared distributed objects, consistency criteria, execution behaviour, failure atomicity, long-lived objects, causal serializability, service quality constraints, fault tolerance, performance, protocols, groupware, availability, cooperative work, autonomy, collaborative applications, concurrent access, operating system support, synchronization constraints, causal consistency |
33 | Sarita V. Adve, Mark D. Hill |
A Unified Formalization of Four Shared-Memory Models. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
data-race-free-1, data-race-free-0, hazards and raceconditions, multiprocessors, shared memory systems, formalization, sequential consistency, weak ordering, shared-memory models, release consistency |
32 | Sarita V. Adve, Alan L. Cox, Sandhya Dwarkadas, Ramakrishnan Rajamony, Willy Zwaenepoel |
A Comparison of Entry Consistency and Lazy Release Consistency Implementations. |
HPCA |
1996 |
DBLP DOI BibTeX RDF |
parallel computation, shared memory, performance measurement, networks of workstations, consistency models |
32 | Sander Vermolen, Jozef Hooman, Peter Gorm Larsen |
Proving consistency of VDM models using HOL. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
verification, theorem proving, VDM, HOL, model consistency |
32 | Jiangming Yang, Haixun Wang, Ning Gu, Yiming Liu, Chunsong Wang, Qiwei Zhang |
Lock-free consistency control for web 2.0 applications. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
concurrency control, xml, consistency maintenance |
32 | Xin Chen 0034, Haining Wang, Shansi Ren, Xiaodong Zhang 0001 |
Maintaining Strong Cache Consistency for the Domain Name System. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
middleware, cache consistency, Domain name system, lease |
32 | Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff |
Metamodel-based model conformance and multiview consistency checking. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
multiview consistency, formal methods, Metamodeling, automated verification |
32 | Xueyan Tang, Samuel T. Chanson |
Analysis of Replica Placement under Expiration-Based Consistency Management. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
Replication, consistency management, time-to-live, replica placement |
32 | Xin Chen 0034, Haining Wang, Shansi Ren |
DNScup: Strong Cache Consistency Protocol for DNS. |
ICDCS |
2006 |
DBLP DOI BibTeX RDF |
Middleware, Cache Consistency, Domain Name System, Lease, Service Availability |
32 | Zhi-qiang Jiang, Xi-lan Feng, Zhongyan Hu |
CSP-based Study on Distributed PDM and Consistency Control Technique for Aero-Subcontract Production. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
Aero-SP, DPDM, Distributed Design and Manufacturing, Consistency Control Technology, CSP |
32 | Alexander Egyed |
Instant consistency checking for the UML. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
design feedback, consistency, incremental analysis |
32 | Jocelyn Simmonds, M. Cecilia Bastarrica |
A tool for automatic UML model consistency checking. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
model consistency checking, software design verification, description logics |
32 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Domain Consistency in Requirements Specification. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Consistency Conditions, Testing, Specification, RAISE, RSL |
32 | Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 |
Consistency Checking of UML Requirements. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking |
32 | Zhengping Liang, Guoqing Wu |
Consistency Checking of Multiviews Based on Agent. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
viewpoint agent, agent, Viewpoint, consistency checking |
32 | Donald P. Ballou, Harold L. Pazer |
Modeling Completeness versus Consistency Tradeoffs in Information Decision Contexts. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
tradeoffs for data quality, consistency, decision making, Completeness, data quality |
32 | Anoop George Ninan, Purushottam Kulkarni, Prashant J. Shenoy, Krithi Ramamritham, Renu Tewari |
Scalable Consistency Maintenance in Content Distribution Networks Using Cooperative Leases. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
World Wide Web, scalability, data dissemination, content distribution networks, data consistency, push, leases, Dynamic data, pull |
32 | Mikhail Mikhailov, Craig E. Wills |
Evaluating a new approach to strong web cache consistency with snapshots of collected content. |
WWW |
2003 |
DBLP DOI BibTeX RDF |
change characteristics, collected content, object relationships, server invalidation, web caching, cache consistency, object composition |
32 | Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak |
Session Guarantees to Achieve PRAM Consistency of Replicated Shared Objects. |
PPAM |
2003 |
DBLP DOI BibTeX RDF |
consistency models, Replicated objects, session guarantees |
32 | Chi Zhang 0070, Zheng Zhang 0001 |
Trading Replication Consistency for Performance and Availability: an Adaptive Approach. |
ICDCS |
2003 |
DBLP DOI BibTeX RDF |
Performance, Adaptation, Replication, Availability, Bounded Consistency |
32 | Ernesto Jiménez, Antonio Fernández 0001, Vicent Cholvi |
A Parametrized Algorithm that Implements Sequential, Causal, and Cache Memory Consistency. |
PDP |
2002 |
DBLP DOI BibTeX RDF |
Distributed shared memory (DSM), causal and cache consistency models, fast memory operations, full replication of data, invalidation and propagation of data, causal and cache algorithms, sequential, sequential |
32 | Jürgen Vogel 0001, Martin Mauve |
Consistency control for distributed interactive media. |
ACM Multimedia |
2001 |
DBLP DOI BibTeX RDF |
RTP/I, distributed interactive media, intention conflict, local lag, mlb, timewarp, consistency, late join |
32 | Martin Glinz |
A Lightweight Approach to Consistency of Scenarios and Class Models. |
ICRE |
2000 |
DBLP DOI BibTeX RDF |
object-oriented, Consistency, scenarios, requirements specification, class models |
32 | Peter Triantafillou, Carl Neilson |
Achieving Strong Consistency in a Distributed File System. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
consistency semantics, concurrency, caching, replication, Availability, recovery, distributed file systems |
32 | Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw |
Automated Consistency Checking of Requirements Specifications. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking |
32 | Do-Hyoung Kim, Kiwon Chong |
A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
Verification, Consistency, Formalizing, Object-Oriented Analysis, Object Modeling Technique |
32 | Marc Bezem |
Consistency of Rule-based Expert System. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
& Phrases knowledge-based systems, knowledge representation, consistency, rule-based expert systems |
32 | Alain Beauvieux |
A Method to Check Knowledge Base Consistency. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
knowledge base model, incremental construction, consistency, Knowledge base, integrity constraint |
32 | Nguyen Tran Sy, Yves Deville |
Automatic Test Data Generation for Programs with Integer and Float Variables. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
software testing, consistency, constraint satisfaction, test data generation |
30 | Christophe Lecoutre, Stéphane Cardon, Julien Vion |
Path Consistency by Dual Consistency. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Mehmet A. Orgun, Liyin Xue |
From Predefined Consistency to User-Centered Emergent Consistency in Real-Time Collaborative Editing Systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Michel Raynal, André Schiper |
From Causal Consistency to Sequential Consistency in Shared Memory Systems. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Haiying Shen |
IRM: Integrated File Replication and Consistency Maintenance in P2P Systems. |
ICCCN |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Yu Huang 0002, Xiang Ma, XianPing Tao, Jiannong Cao 0001, Jian Lu 0001 |
A Probabilistic Approach to Consistency Checking for Pervasive Context. |
EUC (1) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Francisco Chiclana, Francisco Mata, Sergio Alonso, Enrique Herrera-Viedma, Luis Martínez-López 0001 |
Group Decision Making: From Consistency to Consensus. |
MDAI |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Yan Lu, Zhongxiao Hao, Ran Dai |
A Sufficient and Necessary Condition for the Absolute Consistency of XML DTDs. |
SNPD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Abdelouahed Gherbi, Ferhat Khendek |
Consistency of UML/SPT Models. |
SDL Forum |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Haishui Xu, Xiufen Fu, Shixian Li |
An Approach to Consistency Maintenance Based on Intention Context of Real-Time Group Editing Systems. |
CSCWD |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Jinjun Chen, Yun Yang 0001 |
Multiple Temporal Consistency States for Dynamical Verification of Upper Bound Constraints in Grid Workflow Systems. |
e-Science |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Christiane V. Pousa, Luís F. W. Góes, Carlos Augusto Paiva da Silva Martins |
Reconfigurable consistency model for object-based software DSM. |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Stefan Frenz, Renaud Lottiaux, Michael Schöttner, Christine Morin, Ralph Göckelmann, Peter Schulthess |
A Practical Comparison of Cluster Operating Systems Implementing Sequential and Transactional Consistency. |
ICA3PP |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Deepak Mehta 0001, Marc R. C. van Dongen |
Probabilistic Arc Consistency. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Chris H. Q. Ding, Xiaofeng He |
K-nearest-neighbor consistency in data clustering: incorporating local information into global optimization. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Keqiang Wu, David J. Lilja |
Self-tuning Speculation for Maintaining the Consistency of Client-Cached Data. |
ICPADS |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Xuli Liu, Hong Jiang 0001, Leen-Kiat Soh |
A distributed shared object model based on a hierarchical consistency protocol for heterogeneous clusters. |
CCGRID |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Jan Pettersen Nytun, Christian S. Jensen |
Modeling and Testing Legacy Data Consistency Requirements. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Michel Raynal |
Token-Based Sequential Consistency in Asynchronous Distributed Systems. |
AINA |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Abhinav Vora, Zahir Tari, Peter Bertók |
A Variable Cache Consistency Protocol for Mobile Systems Using Time Locks. |
DAIS |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Dongmo Zhang, Samir Chopra, Norman Y. Foo |
Consistency of Action Descriptions. |
PRICAI |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Robert C. Steinke, Gary J. Nutt |
A Lattice Based Framework of Shared Memory Consistency Models. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings |
Consistency Maintenance for ABT. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Alexander Egyed |
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Christopher S. Diaz, Jim Griffioen |
Measuring Consistency Costs for Distributed Shared Data. |
LCR |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Gregory V. Chockler, Roy Friedman, Roman Vitenberg |
Consistency Conditions for a CORBA Caching Service. |
DISC |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Oliver E. Theel, Michel Raynal |
Static and Dynamic Adaptation of Transactional Consistency. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos |
Partiality and Approximation Schemes for Local Consistency in Networks of Constraints. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
30 | David L. Black 0001, Richard F. Rashid, David B. Golub, Charles R. Hill, Robert V. Baron |
Translation Lookaside Buffer Consistency: A Software Approach. |
ASPLOS |
1989 |
DBLP DOI BibTeX RDF |
UNIX |
30 | C. Greg Plaxton, Mitul Tiwari, Praveen Yalagandula |
Online Aggregation over Trees. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Michel Raynal, Matthieu Roy, Ciprian Tutu |
A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Yuanlin Zhang 0004 |
On Tightness of Constraints. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Haifeng Yu, Amin Vahdat |
The Costs and Limits of Availability for Replicated Services. |
SOSP |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Hui Wang 0010, Maria E. Orlowska, Weifa Liang |
Efficient Refreshment of Materialized Views with Multiple Sources. |
CIKM |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Guangchun Luo, Xianliang Lu, Ting Yang |
The research on consistency of space/time of IDS. |
ACM SIGOPS Oper. Syst. Rev. |
2005 |
DBLP DOI BibTeX RDF |
consistency of space, consistency of time, intrude detection, performance |
30 | Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan |
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. |
ISCA |
2004 |
DBLP DOI BibTeX RDF |
Multiprocessor verification, Total Store Order, Sequential Consistency, Memory consistency models |
30 | Gabriel Antoniu, Luc Bougé, Sébastien Lacour |
Making a DSM Consistency Protocol Hierarchy-Aware: an Efficient Synchronization Scheme. |
CCGRID |
2003 |
DBLP DOI BibTeX RDF |
hierarchical interconnection, home-based release consistency, cluster, grid, multithreading, DSM, consistency protocol |
30 | Hengming Zou, Nandit Soparkar, Farnam Jahanian |
Probabilistic Data Consistency for Wide-Area Applications. |
ICDE |
2000 |
DBLP DOI BibTeX RDF |
wide-area applications, probabilistic consistency, replication, temporal consistency, deterministic guarantees |
30 | JaeWoong Chung, Byeong Hag Seong, Kyu Ho Park, Daeyeon Park |
Moving Home-Based Lazy Release Consistency for Shared Virtual Memory Systems. |
ICPP |
1999 |
DBLP DOI BibTeX RDF |
software DSM system, parallel processing, distributed computing, shared memory, memory consistency, Shared Virtual Memory, Release Consistency |
30 | Aline Deruyver, Yann Hodé |
Semantic graph and arc consistency in "true" three dimensional image labeling. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
semantic graph consistency, true three dimensional image labelling, over-segmented objects, nuclear resonance magnetic cerebral images, algorithm, image segmentation, graph theory, object recognition, image recognition, object, medical image processing, transitivity, brain, brain, biomedical NMR, arc consistency |
30 | Frédéric Goualard, Laurent Granvilliers |
Controlled propagation in continuous numerical constraint networks. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
directional consistency, constraint propagation, local consistency |
30 | Hengming Zou, Farnam Jahanian |
A Real-Time Primary-Backup Replication Service. |
IEEE Trans. Parallel Distributed Syst. |
1999 |
DBLP DOI BibTeX RDF |
phase variance, probabilistic consistency, fault tolerance, Real-time systems, temporal consistency, replication protocols |
30 | Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein |
Surviving information warfare attacks on databases. |
S&P |
1997 |
DBLP DOI BibTeX RDF |
information warfare attack survival, fault tolerance approach, damaged data, partially repaired data, snapshot algorithm, damage markings, consistency preserving normal transactions, countermeasure transactions, databases, protocol, security of data, integrity constraints, data security, database consistency |
30 | Nabil R. Adam, Rajiv Tewari |
Regeneration with Virtual Copies for Distributed Computing Systems. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
virtual copies, consistency control problem, consistency constraints, data object copies, voting-based algorithms, regeneration mechanisms, stochastic availability analysis, dynamic voting algorithms, query processing, distributed databases, distributed databases, wide area networks, distributed computing system, network partitioning, replicated data, node failures, user queries |
28 | Yvette Teiken, Stefan Brüggemann, Hans-Jürgen Appelrath |
Interchangeable consistency constraints for public health care systems. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
consistency constraints, knowledge representation, medical informatics, domain ontologies, domain specific modeling |
28 | Qin Gao, Yusen Dai, Kai Fu |
Improving Personal Tagging Consistency through Visualization of Tag Relevancy. |
HCI (12) |
2009 |
DBLP DOI BibTeX RDF |
collaborative tagging systems, information visualization, consistency, tagging, tag cloud |
28 | Doha Elsharief, Hamidah Ibrahim, Ali Mamat, Mohamed Othman |
A survey of methods for maintaining mobile cache consistency. |
MoMM |
2009 |
DBLP DOI BibTeX RDF |
mobile cache consistency, stateful approach, stateless broadcasting approach, invalidation reports |
28 | Gerhard Gröger, Lutz Plümer |
Updating 3D city models: how to preserve geometric-topological consistency. |
GIS |
2009 |
DBLP DOI BibTeX RDF |
2-manifolds, handles, transaction rules, consistency, 3D models, surfaces |
28 | Eduardo Valle, David Picard, Matthieu Cord |
Geometric consistency checking for local-descriptor based document retrieval. |
ACM Symposium on Document Engineering |
2009 |
DBLP DOI BibTeX RDF |
geometric consistency, retrieval by voting, image retrieval, cbir, local descriptors |
Displaying result #101 - #200 of 17174 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|