|
|
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 |
19 | Kelvin J. Ross, Peter A. Lindsay |
Maintaining Consistency Under Changes to Formal Specifications. |
FME |
1993 |
DBLP DOI BibTeX RDF |
verification, formal methods, configuration management, VDM, change control |
19 | Kenneth P. Birman |
Maintaining consistency in distributed systems. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Raymond C. Chen, Partha Dasgupta |
Implementing consistency control mechanisms in the Clouds distributed operating system. |
ICDCS |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Uwe M. Borghoff |
Voting and Relocation Strategies Preserving Consistency among Replicated Files. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Victor G. Ganzha, Sergey V. Meleshko, V. P. Shelest |
Application of REDUCE System for Analyzing Consistency of Systems of P.D.E.'s. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
REDUCE |
19 | Bryan S. Rosenburg |
Low-Synchronization Translation Lookaside Buffer Consistency in Large-Scale Shared-Memory Multiprocessors. |
SOSP |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Toramatsu Shintani |
A Consistency Maintenance Mechanism for Subjective Judgements and Its Application. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Per Stenström |
A Cache Consistency Protocol for Multiprocessors with Multistage Networks. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
|
19 | David G. Lowe |
The viewpoint consistency constraint. |
Int. J. Comput. Vis. |
1987 |
DBLP DOI BibTeX RDF |
|
19 | R. C. Hansdah, Lalit M. Patnaik |
Weak Consistency Of Read-only Transactions: A Tool to Improve Concurrency in Heterogeneous Locking Protocols. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Jin Xiong, Jianyu Li, Rongfeng Tang, Yiming Hu |
Improving data availability for a cluster file system through replication. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Enrique Herrera-Viedma, Sergio Alonso, Francisco Chiclana, Francisco Herrera |
A Consensus Model for Group Decision Making With Incomplete Fuzzy Preference Relations. |
IEEE Trans. Fuzzy Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Mohit Gambhir, Edward F. Gehringer, Yan Solihin |
Animations of important concepts in parallel computer architecture. |
WCAE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Xiaofei Zhao, Zhiqiu Huang |
A Formal Framework for Reasoning on Metadata Based on CWM. |
ER |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Rosa Iglesias, Sara Casado, Teresa Gutiérrez, Alejandro García-Alonso, Kian Meng Yap, Wai Yu, Alan Marshall 0001 |
A Peer-to-peer Architecture for Collaborative Haptic Assembly. |
DS-RT |
2006 |
DBLP DOI BibTeX RDF |
|
19 | K. Rustan M. Leino, Peter Müller 0001 |
Modular Verification of Static Class Invariants. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Netsch, Arianne van Muiswinkel |
Quantitative evaluation of image-based distortion correction in diffusion tensor imaging. |
IEEE Trans. Medical Imaging |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Frenz, Michael Schöttner, Ralph Göckelmann, Peter Schulthess |
Parallel ray-tracing with a transactional DSM. |
CCGRID |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Remco M. Dijkman, Dick A. C. Quartel, Luís Ferreira Pires, Marten van Sinderen |
A Rigorous Approach to Relate Enterprise and Computational Viewpoints. |
EDOC |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Kostas Stergiou 0001 |
On Algorithms for Decomposable Constraints. |
SETN |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Dongyao Ji, Yuming Wang |
Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao. |
ACM SIGOPS Oper. Syst. Rev. |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Saïd Abdeddaïm, Burkhard Morgenstern |
Speeding Up the DIALIGN Multiple Alignment Program by Using the 'Greedy Alignment of BIOlogical Sequences LIBrary' (GABIOS-LIB). |
JOBIM |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Aki W. Tomita, Ken Sakamura |
Improving Design Dependability by Exploiting an Open Model-Based Specification. |
IEEE Trans. Computers |
1999 |
DBLP DOI BibTeX RDF |
formal specification, Software testing, Z, software fault tolerance, specification-based testing, on-line error detection |
19 | Hélène Collavizza, François Delobel, Michel Rueher |
A Note on Partial Consistencies over Continuous Domains. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Mustaque Ahamad, Sumeer Bhola, Rammohan Kordale, Francisco J. Torres-Rojas |
Scalable information sharing in large scale distributed systems. |
ACM SIGOPS European Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Marcus Costa Sampaio, Stéphane Turc |
Cooperative Transactions: A Data-Driven Approach. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
Cooperative transactions, cooperative atomicity, fault tolerance, distributed systems, concurrency control, persistency, nested transactions, correctness criteria |
19 | Arnold Neville Pears, Rhys S. Francis |
Barrier Semantics in Very Weak Memory. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
19 | John B. Carter, John K. Bennett, Willy Zwaenepoel |
Implementation and Performance of Munin. |
SOSP |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Sang Hyuk Son |
Reliable distributed database systems (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi |
Notions of dependency satisfaction. |
J. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
18 | Peter Bodorik, Dawn N. Jutla, Mike Xuehai Wang |
Consistent privacy preferences (CPP): model, semantics, and properties. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
P3P agent, rule-set consistency, semantic web privacy, user privacy control, consistency, P3P, privacy preferences |
18 | Salvador Petit, Julio Sahuquillo, Ana Pont |
A Comparison Study of the HLRC-DU Protocol versus a HLRC Hardware Assisted Protocol. |
PDP |
2005 |
DBLP DOI BibTeX RDF |
Shared Virtual Memory Systems, Memory Consistency Protocols, Asyncrhonous Communication, Memory Consistency Models |
18 | Fong Pong, Michel Dubois 0001 |
Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models. |
IEEE Trans. Parallel Distributed Syst. |
2000 |
DBLP DOI BibTeX RDF |
relaxed memory consistency models, delayed consistency, symbolic state model, verification, Shared-memory multiprocessor |
18 | Richard Lenz |
Adaptive distributed data management with weak consistent replicated data. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
coherency control, consistency island, need-to-know principle, weak consistency replication, distributed data management |
18 | Nabil R. Adam |
A New Dynamic Voting Algorithm for Distributed Database Systems. |
IEEE Trans. Knowl. Data Eng. |
1994 |
DBLP DOI BibTeX RDF |
dynamic voting algorithm, communication link failure, dynamic-voting-consistency algorithm, algorithm correctness, read requests, read quorum, user requests, data object updating, majority partition, update rate, simple partitioning, data integrity, fault tolerant computing, distributed databases, software reliability, network topology, database theory, recovery, system recovery, data consistency, distributed database systems |
17 | Karim Dahman, François Charoy, Claude Godart |
Towards Consistency Management for a Business-Driven Development of SOA. |
EDOC |
2011 |
DBLP DOI BibTeX RDF |
Incremental Model Transformation, Structural Consistency Management, Business-IT Alignment |
17 | Khaleel W. Mershad, Hassan Artail |
SSUM: Smart Server Update Mechanism for Maintaining Cache Consistency in Mobile Environments. |
IEEE Trans. Mob. Comput. |
2010 |
DBLP DOI BibTeX RDF |
server-based approach, MANET, Data caching, cache consistency, invalidation |
17 | Xueyan Tang, Suiping Zhou |
Update Scheduling for Improving Consistency in Distributed Virtual Environments. |
IEEE Trans. Parallel Distributed Syst. |
2010 |
DBLP DOI BibTeX RDF |
time-space consistency, scheduling, Distributed virtual environment, state update |
17 | Yu Huang 0002, Jiannong Cao 0001, Beihong Jin, XianPing Tao, Jian Lu 0001, Yulin Feng |
Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks. |
IEEE Trans. Parallel Distributed Syst. |
2010 |
DBLP DOI BibTeX RDF |
Data dissemination and sharing, wireless ad hoc network, cache consistency |
17 | Scott Jensen, Beth Plale |
Trading Consistency for Scalability in Scientific Metadata. |
eScience |
2010 |
DBLP DOI BibTeX RDF |
Scientific Metadata, XML, e-Science, Eventual Consistency |
17 | Thorsten Höllrigl, Jochen Dinger, Hannes Hartenstein |
FedWare: Middleware Services to Cope with Information Consistency in Federated Identity Management. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
Information Consistency, Middleware, Publish/Subscribe, Federated Identity Management |
17 | Wubin Li, Johan Tordsson, Erik Elmroth |
An Aspect-Oriented Approach to Consistency-Preserving Caching and Compression of Web Service Response Messages. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
response caching, consistency-preserving, Web Services, aspect-oriented programming, data compression, hashing |
17 | Yu-song Chen |
The Generating Algorithm of Protocol Consistency Test Sequences Between Combined Control Flow and Data Flow. |
MVHI |
2010 |
DBLP DOI BibTeX RDF |
protocol consistency test, data flow, control flow, test sequence, EFSM |
17 | Kinga Kiss Iakab, Oliver E. Theel |
The Impact of Partial Orders among Strict and Probabilistic Quorums on the Data Consistency vs. Operation Availabilities Trade-Off. |
ISPA |
2010 |
DBLP DOI BibTeX RDF |
probabilistic data replication, operation availabilities, distributed systems, data consistency |
17 | Fabiana Gomes Marinho |
A proposal for consistency checking in dynamic software product line models using OCL. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
dynamic software product line models, consistency checking |
17 | Magnus Bordewich, Olivier Gascuel, Katharina T. Huber, Vincent Moulton |
Consistency of Topological Moves Based on the Balanced Minimum Evolution Principle of Phylogenetic Inference. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2009 |
DBLP DOI BibTeX RDF |
subtree prune and regraft (SPR), BSPR algorithm, Nearest Neighbor Interchange (NNI), BNNI algorithm, balanced minimum evolution principle (BME), tree-length, quartet-distance, Robinson Foulds distance, safety radius, topological move, consistency, phylogenetic tree |
17 | Changhua Liu, Yaqin Li, Zhensong Liao |
A Novelty Approach for Checking Consistency of Security Policy. |
IFITA (3) |
2009 |
DBLP DOI BibTeX RDF |
ATN, Hiding policy, checking policy, policy consistency, access control policy |
17 | Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary |
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
static array bounds checking, verilog elaboration, verilog wire width consistency, dependent types, dead code elimination |
17 | Kai Yu, Jiangqin Wu, Yueting Zhuang |
Style-consistency calligraphy synthesis system in digital library. |
JCDL |
2009 |
DBLP DOI BibTeX RDF |
structure determination, style evaluation model (SEM), style-consistency calligraphy synthesis |
17 | Yuelu Duan, Xiaobing Feng 0002, Lei Wang 0004, Chao Zhang, Pen-Chung Yew |
Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs. |
CGO |
2009 |
DBLP DOI BibTeX RDF |
delay set, fence, Sequential consistency, data race detection, relaxed memory model |
17 | Helen Petrie, George Papadofragkakis, Christopher Power, David Swallow |
Navigational Consistency in Websites: What Does it Mean to Users? |
INTERACT (1) |
2009 |
DBLP DOI BibTeX RDF |
Websitenavigation, navigational consistency, website usability |
17 | Lei Wang, Hongyan Li 0002, Qiang Qu, Huaqiang Zhang, Bin Zhou |
Verifying the Consistency between Business Process Model and Data Model. |
JCAI |
2009 |
DBLP DOI BibTeX RDF |
information system construction, verification, consistency, business process, data model |
17 | Chao Song, Muyun Yang, Haoliang Qi, Sheng Li 0003 |
A Kappa Measurement of Query Consistency and Its Application. |
IALP |
2009 |
DBLP DOI BibTeX RDF |
Kappa, query interest consistency, distribution, Dice |
17 | Rongwei Ye, Yinglin Wang, Jianmei Guo, Qi Xiong |
A Method to Guarantee Ontology Consistency on Property Range Changes. |
NPC Workshops |
2008 |
DBLP DOI BibTeX RDF |
Ontology change, Property range, Consistency, Ontology evolution |
17 | Hyontai Sug |
Applying Rough Sets to Maintain Data Consistency for High Degree Relations. |
NCM (2) |
2008 |
DBLP DOI BibTeX RDF |
rough sets, data consistency |
17 | René Wörzberger, Thomas Kurpick, Thomas Heer |
On Correctness, Compliance and Consistency of Process Models. |
WETICE |
2008 |
DBLP DOI BibTeX RDF |
models, consistency, process, correctness, compliance |
17 | Diego Rodríguez-Losada, Fernando Matía, Luis Pedraza, Agustín Jiménez, Ramón Galán |
Consistency of SLAM-EKF Algorithms for Indoor Environments. |
J. Intell. Robotic Syst. |
2007 |
DBLP DOI BibTeX RDF |
Linearization errors, Mobile robots, Consistency, Extended Kalman Filter, Simultaneous Localization And Mapping, Indoor environments |
17 | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
CheckFence: checking consistency of concurrent data types on relaxed memory models. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures |
17 | Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls |
Checking Pedigree Consistency with PCS. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
Pedigree Consistency checking, bioinformatics, SAT, computational biology, Boolean satisfiability, genetics |
17 | Franz Weitl, Burkhard Freitag |
Checking Content Consistency of Integrated Web Documents. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
document verification, content consistency, temporal description logics, model checking, CTL - |
17 | Ferdinand van der Heijden |
Consistency Checks for Particle Filters. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2006 |
DBLP DOI BibTeX RDF |
modeling errors, fault detection, Particle filtering, consistency checks, model validation |
17 | Yuanlin Zhang 0002, Roland H. C. Yap |
Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
constraint satisfaction problems, relations, local consistency, constraint networks, Constraint-based reasoning |
17 | Christoph Lindemann, Oliver P. Waldhorst |
Consistency mechanisms for a distributed lookup service supporting mobile applications. |
MobiDE |
2003 |
DBLP DOI BibTeX RDF |
ad-hoc networked databases, consistency maintenance in weakly connected environments, epidemic algorithms for data dissemination, data caching |
17 | Young Chul Sohn, N. H. Jung, Seung Ryoul Maeng |
Request Reordering to Enhance the Performance of Strict Consistency Models. |
IEEE Comput. Archit. Lett. |
2002 |
DBLP DOI BibTeX RDF |
multiprocessor, ILP, memory consistency model |
17 | Anoop George Ninan, Purushottam Kulkarni, Prashant J. Shenoy, Krithi Ramamritham, Renu Tewari |
Cooperative leases: scalable consistency maintenance in content distribution networks. |
WWW |
2002 |
DBLP DOI BibTeX RDF |
pullC, world wide web, scalability, data dissemination, content distribution networks, data consistency, push, leases, dynamic data |
17 | Anurag Kahol, Sumit Khurana, Sandeep K. S. Gupta, Pradip K. Srimani |
A Strategy to Manage Cache Consistency in a Disconnected Distributed Environment. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
mobile computing, performance analysis, Caching, data consistency, client-server computing |
17 | Jian Yin 0002, Lorenzo Alvisi, Michael Dahlin, Arun Iyengar |
Engineering server-driven consistency for large scale dynamic Web services. |
WWW |
2001 |
DBLP DOI BibTeX RDF |
Web cache consistency, volume lease, performance, scalability, dynamic content |
17 | Jonathan Furner, David Ellis, Peter Willett 0002 |
Inter-linker consistency in the manual construction of hypertext documents. |
ACM Comput. Surv. |
1999 |
DBLP DOI BibTeX RDF |
inter-indexer consistency, link creation, topological indices, graph theory, similarity |
17 | Celso A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat |
Revisiting the concept of hypermedia document consistency. |
ACM Multimedia (2) |
1999 |
DBLP DOI BibTeX RDF |
internal and external non-determinism, formal verification, temporal consistency, RT-LOTOS, hypermedia documents |
17 | Markos Zaharioudakis, Michael J. Carey 0001 |
Hierarchical, Adaptive Cache Consistency in a Page Server OODBMS. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
Databases, client-server systems, cache consistency |
17 | Pei Cao, Chengjie Liu |
Maintaining Strong Cache Consistency in the World Wide Web. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
invalidation protocols, performance analysis and measurements, distributed systems, World Wide Web, cache consistency |
17 | Martin S. Feather |
Rapid Application of Lightweight Formal Methods for Consistency Analysis. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
interface checking, test-log checking, database-based analysis, formal methods, Consistency checking, NASA |
17 | Paul F. Reynolds Jr., Anand Natrajan, Sudhir Srinivasan |
Consistency Maintenance in Multiresolution Simulations. |
ACM Trans. Model. Comput. Simul. |
1997 |
DBLP DOI BibTeX RDF |
modeling maintenance, multiple resolution entity, multiresolution simulation, consistency, methodologies, multiresolution modeling |
17 | Chengzheng Sun, Yanchun Zhang, Xiaohua Jia, Yun Yang |
A generic operation transformation scheme for consistency maintenance in real-time cooperative editing systems. |
GROUP |
1997 |
DBLP DOI BibTeX RDF |
cooperative editing, CSCW, distributed computing, consistency maintenance, intention preservation |
17 | Joan Peckham, Fred J. Maryanski, Steven A. Demurjian |
Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema. |
IEEE Trans. Knowl. Data Eng. |
1996 |
DBLP DOI BibTeX RDF |
schema checking, Data modeling, active databases, data consistency, database updates, constraint maintenance |
17 | Georg Heidenreich, Mark Minas, Detlef Kips |
A New Approach to Consistency Control in Software Engineering. |
ICSE |
1996 |
DBLP BibTeX RDF |
change tracking, computer-based software process management, high-level formalism, life cycle models, software representations, software engineering, compilers, standards, software quality, project management, software process, configuration management, quality assurance, version control, software development management, software project management, consistency control, ISO standards, ISO 9000 |
17 | John Rieman, Clayton H. Lewis, Richard M. Young, Peter G. Polson |
Why is a raven like a writing desk?: lessons in interface consistency and analogical reasoning from two cognitive architectures. |
CHI |
1994 |
DBLP DOI BibTeX RDF |
user models, consistency, metaphor, analogy, exploratory learning |
17 | Danco Davcev, Walter A. Burkhard |
Consistency and Recovery Control for Replicated Files. |
SOSP |
1985 |
DBLP DOI BibTeX RDF |
Gemini, dynamic voting, mutual consistency, local area network, file system, quorum, replicated file |
17 | Zahari Zlatev |
Consistency and convergence of general linear multistep variable stepsize variable formula methods. |
Computing |
1983 |
DBLP DOI BibTeX RDF |
linear multistep formulae, variable stepsize variable formula methods, order of the method, zero-stability, convegence, one-leg methods, predictor-corrector schemes, consistency, Ordinary differential equations, numerical solution, initial value problems |
17 | Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink |
Brief announcement: a shared disk on distributed storage. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
probabilistic consensus, shared disk semantics, strict linearizability, consistency, redundancy, storage, atomic registers |
17 | Ted Wobber, Thomas L. Rodeheffer, Douglas B. Terry |
Policy-based access control for weakly consistent replication. |
EuroSys |
2010 |
DBLP DOI BibTeX RDF |
security logic, replication, eventual consistency |
17 | Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal |
New filtering algorithms for combinations of among constraints. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Domain consistency, Polynomial time filtering, Car sequencing, Regular constraint, Sequence constraint |
17 | Dong San Kim, Wan Chul Yoon |
A Method for Consistent Design of User Interaction with Multifunction Devices. |
HCI (10) |
2009 |
DBLP DOI BibTeX RDF |
Interaction design method, constraint-based design, consistency |
17 | M. Motasem Nawaf, Zeina Torbey |
Replica update strategy in mobile ad hoc networks. |
MEDES |
2009 |
DBLP DOI BibTeX RDF |
ad hoc networks, data consistency, data accessibility, replica, data update |
17 | Viara Popova, Alexei Sharpanskykh |
Constraint-based modelling and analysis of organisations. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
consistency of a specification, organisation design, validity of a specification, constraints, organisation modeling |
17 | Wenfei Fan, Floris Geerts |
Relative information completeness. |
PODS |
2009 |
DBLP DOI BibTeX RDF |
information completeness, master data, constraints, consistency |
17 | Bice Cavallo, Livia D'Apuzzo, Massimo Squillante |
Building Consistent Pairwise Comparison Matrices over Abelian Linearly Ordered Groups. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
Pairwise comparison matrices, consistency index, abelian linearly ordered group |
17 | Liyin Xue, Mehmet A. Orgun, Kang Zhang 0001 |
A Multi-Versioning Scheme for Intention Preservation in Collaborative Editing Systems. |
Comput. Support. Cooperative Work. |
2008 |
DBLP DOI BibTeX RDF |
distributed systems, real-time, CSCW, groupware, consistency maintenance, group editors, multi-versioning, intention preservation |
17 | Shangmin Luan, Guozhong Dai |
An algebraic approach to revising propositional rule-based knowledge bases. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
knowledge base revision, rule-based knowledge base, Petri net, consistency check |
17 | Liangjia Zhu, Zongtan Zhou, Dewen Hu |
Globally Consistent Reconstruction of Ripped-Up Documents. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Reconstruction of ripped-up documents, global consistency, compatibility, relaxation, gradient projection |
17 | Magdalena Balazinska, Hari Balakrishnan, Samuel Madden 0001, Michael Stonebraker |
Fault-tolerance in the borealis distributed stream processing system. |
ACM Trans. Database Syst. |
2008 |
DBLP DOI BibTeX RDF |
fault-tolerance, consistency, availability, Distributed stream processing |
17 | Matthias R. Brust |
Dealing with Data Inconsistencies in Mobile Distributed Environments. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
ad hoc network, consistency, hybrid wireless network |
17 | Chih-Wei Lu, Chih-Hung Chang, William C. Chu, Ya-Wen Cheng, Hsin-Chien Chang |
A Requirement Tool to Support Model-Based Requirement Engineering. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Requirement Editor, Reuse, Consistency, Completeness, Traceability, Maintainability |
17 | Donatella Gubiani, Angelo Montanari |
A conceptual spatial model supporting topologically-consistent multiple representations. |
GIS |
2008 |
DBLP DOI BibTeX RDF |
topological consistency, conceptual model, granularity, spatial data |
17 | Xavier Blanc 0001, Isabelle Mounier, Alix Mougenot, Tom Mens |
Detecting model inconsistency through operation-based model construction. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
model, consistency, logic, meta-model |
17 | Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
Asynchronous Agreement and Its Relation with Error-Correcting Codes. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
erroneous value, fault tolerance, distributed computing, error-correcting code, consensus, Hamming distance, asynchronous distributed system, condition, crash failure, coding theory, Agreement problem, interactive consistency |
17 | Rui Li 0018, Du Li |
A New Operational Transformation Framework for Real-Time Group Editors. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
groupware, operational transformation, group editors, Consistency control |
17 | Sibsankar Haldar, K. Vidyasankar |
On specification of Read/Write shared variables. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension |
17 | Cheng-Ru Young, Ge-Ming Chiu |
Efficient Dissemination of Transaction-Consistent Data in Broadcast Environments. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
Broadcast environment, view consistency, concurrency control, transaction |
|
|