|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(9), pp. 888-903, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(6), pp. 800-815, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(1), pp. 52-64, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 78-83, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
34 | Xueyan Tang, Jianliang Xu, Wang-Chien Lee |
Analysis of TTL-Based Consistency in Unstructured Peer-to-Peer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(12), pp. 1683-1694, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Suiping Zhou, Haifeng Shen |
A Consistency Model for Highly Interactive Multi-player Online Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 26-28 March 2007, Norfolk, Virginia, USA, pp. 318-323, 2007, IEEE Computer Society, 978-0-7695-2814-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Kewei Sha, Weisong Shi |
On the Effects of Consistency in Data Operations in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (1) ![In: 12th International Conference on Parallel and Distributed Systems, ICPADS 2006, Minneapolis, Minnesota, USA, July 12-15, 2006, pp. 195-202, 2006, IEEE Computer Society, 0-7695-2612-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 233-244, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Jinjun Chen, Yun Yang 0001 |
Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30 - December 3, 2005, Proceedings, pp. 300-311, 2005, Springer, 3-540-30510-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: XXV International Conference of the Chilean Computer Science Society, SCCC 2005, 7-11 November 2005, Valdivia, Chile., pp. 93-100, 2005, IEEE Computer Society, 0-7695-2491-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 10th International Conference on Parallel and Distributed Systems, ICPADS 2004, Newport Beach, CA, USA, July 7-9, 2004, pp. 503-, 2004, IEEE Computer Society, 0-7695-2152-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Mustaque Ahamad, Michel Raynal |
Ordering vs Timeliness: Two Facets of Consistency? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Directions in Distributed Computing ![In: Future Directions in Distributed Computing, Research and Position Papers, pp. 73-80, 2003, Springer, 3-540-00912-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Roman Vitenberg, Roy Friedman |
On the Locality of Consistency Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings, pp. 92-105, 2003, Springer, 3-540-20184-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 9th International Conference on Parallel and Distributed Systems, ICPADS 2002, Taiwan, ROC, December 17-20, 2002, pp. 284-, 2002, IEEE Computer Society, 0-7695-1760-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Alia I. Abdelmoty, Christopher B. Jones |
Towards Maintaining Consistency of Spatial Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Sixth International Conference on Information and Knowledge Management (CIKM'97), Las Vegas, Nevada, USA, November 10-14, 1997, pp. 293-300, 1997, ACM, 0-89791-970-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria, pp. 400-407, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Paul Dourish |
Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '96, Proceedings of the ACM 1996 Conference on Computer Supported Cooperative Work, Boston, MA, USA, November 16-20, 1996, pp. 268-277, 1996, ACM, 0-89791-765-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(3), pp. 191-217, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA, pp. 245-252, 2005, ACM, 1-58113-986-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 13(3), pp. 205-243, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(1), pp. 39-46, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 539-551, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 314-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(6), pp. 613-624, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Second International Symposium on High-Performance Computer Architecture, San Jose, CA, USA, February 3-7, 1996, pp. 26-37, 1996, IEEE Computer Society, 0-8186-7237-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2503-2510, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 725-734, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(8), pp. 1057-1071, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 16(3), pp. 11, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(11), pp. 1253-1263, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal, pp. 40, 2006, IEEE Computer Society, 0-7695-2540-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (1) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 1, pp. 472-478, 2006, IEEE Computer Society, 0-7695-2581-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 381-390, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
design feedback, consistency, incremental analysis |
32 | Jocelyn Simmonds, M. Cecilia Bastarrica |
A tool for automatic UML model consistency checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 431-432, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pp. 231-240, 2005, IEEE Computer Society, 0-7695-2472-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 411-420, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 1087-1091, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(1), pp. 240-243, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(4), pp. 813-828, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, Budapest, Hungary, May 20-24, 2003, pp. 599-608, 2003, ACM, 1-58113-680-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 1-8, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 687-695, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain, pp. 437-444, 2002, IEEE Computer Society, 0-7695-1444-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30 - October 5, 2001, pp. 221-230, 2001, ACM, 1-58113-394-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 4th International Conference on Requirements Engineering, ICRE '00, Schaumburg, Illinois, USA, June 19-23, 2000, pp. 49-, 2000, IEEE Computer Society, 0-7695-0565-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(1), pp. 35-55, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 5(3), pp. 231-261, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 208-216, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Verification, Consistency, Formalizing, Object-Oriented Analysis, Object Modeling Technique |
32 | Marc Bezem |
Consistency of Rule-based Expert System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 151-161, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings, pp. 455-468, 1988, Springer, 3-540-50517-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 13-21, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 438-452, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 36(6), pp. 1063-1073, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Michel Raynal, André Schiper |
From Causal Consistency to Sequential Consistency in Shared Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 180-194, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Haiying Shen |
IRM: Integrated File Replication and Consistency Maintenance in P2P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 17th International Conference on Computer Communications and Networks, IEEE ICCCN 2008, St. Thomas, U.S. Virgin Islands, August 3-7, 2008, pp. 255-260, 2008, IEEE, 978-1-4244-2390-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC (1) ![In: 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume I, pp. 387-393, 2008, IEEE Computer Society, 978-0-7695-3492-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007, Proceedings, pp. 80-91, 2007, Springer, 978-3-540-73728-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Yan Lu, Zhongxiao Hao, Ran Dai |
A Sufficient and Necessary Condition for the Absolute Consistency of XML DTDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (1) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 249-254, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Abdelouahed Gherbi, Ferhat Khendek |
Consistency of UML/SPT Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, pp. 203-224, 2007, Springer, 978-3-540-74983-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 123-127, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: First International Conference on e-Science and Grid Technologies (e-Science 2005), 5-8 December 2005, Melbourne, Australia, pp. 124-131, 2005, IEEE Computer Society, 0-7695-2448-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 9-12 May, 2005, Cardiff, UK, pp. 937-944, 2005, IEEE Computer Society, 0-7803-9074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Distributed and Parallel Computing, 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings, pp. 23-33, 2005, Springer, 3-540-29235-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Deepak Mehta 0001, Marc R. C. van Dongen |
Probabilistic Arc Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 862, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 584-589, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Keqiang Wu, David J. Lilja |
Self-tuning Speculation for Maintaining the Consistency of Client-Cached Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 10th International Conference on Parallel and Distributed Systems, ICPADS 2004, Newport Beach, CA, USA, July 7-9, 2004, pp. 91-100, 2004, IEEE Computer Society, 0-7695-2152-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2004), April 19-22, 2004, Chicago, Illinois, USA, pp. 515-522, 2004, IEEE Computer Society, 0-7803-8430-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Jan Pettersen Nytun, Christian S. Jensen |
Modeling and Testing Legacy Data Consistency Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 341-355, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Michel Raynal |
Token-Based Sequential Consistency in Asynchronous Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 17th International Conference on Advanced Information Networking and Applications (AINA'03), March 27-29, 2003, Xi'an, China, pp. 421-426, 2003, IEEE Computer Society, 0-7695-1906-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Abhinav Vora, Zahir Tari, Peter Bertók |
A Variable Cache Consistency Protocol for Mobile Systems Using Time Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings, pp. 153-166, 2003, Springer, 3-540-20529-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Dongmo Zhang, Samir Chopra, Norman Y. Foo |
Consistency of Action Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings, pp. 70-79, 2002, Springer, 3-540-44038-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Robert C. Steinke, Gary J. Nutt |
A Lattice Based Framework of Shared Memory Consistency Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 703-706, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings |
Consistency Maintenance for ABT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 271-285, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Alexander Egyed |
Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 387-390, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Christopher S. Diaz, Jim Griffioen |
Measuring Consistency Costs for Distributed Shared Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Languages, Compilers, and Run-Time Systems for Scalable Computers, 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000, Selected Papers, pp. 170-181, 2000, Springer, 3-540-41185-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Gregory V. Chockler, Roy Friedman, Roman Vitenberg |
Consistency Conditions for a CORBA Caching Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings, pp. 374-388, 2000, Springer, 3-540-41143-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Oliver E. Theel, Michel Raynal |
Static and Dynamic Adaptation of Transactional Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 533-542, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 210-224, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-III Proceedings - Third International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, Massachusetts, USA, April 3-6, 1989., pp. 113-122, 1989, ACM Press, 0-89791-300-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
UNIX |
30 | C. Greg Plaxton, Mitul Tiwari, Praveen Yalagandula |
Online Aggregation over Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-10, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 28-30 March 2005, Taipei, Taiwan, pp. 961-966, 2005, IEEE Computer Society, 0-7695-2249-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Yuanlin Zhang 0004 |
On Tightness of Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 777-781, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Haifeng Yu, Amin Vahdat |
The Costs and Limits of Availability for Replicated Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 18th ACM Symposium on Operating System Principles, SOSP 2001, Chateau Lake Louise, Banff, Alberta, Canada, October 21-24, 2001, pp. 29-42, 2001, ACM, 1-58113-389-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Hui Wang 0010, Maria E. Orlowska, Weifa Liang |
Efficient Refreshment of Materialized Views with Multiple Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, Kansas City, Missouri, USA, November 2-6, 1999, pp. 375-382, 1999, ACM, 1-58113-146-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Guangchun Luo, Xianliang Lu, Ting Yang |
The research on consistency of space/time of IDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 39(3), pp. 44-51, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 31st International Symposium on Computer Architecture (ISCA 2004), 19-23 June 2004, Munich, Germany, pp. 114-123, 2004, IEEE Computer Society, 0-7695-2143-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 12-15 May 2003, Tokyo, Japan, pp. 516-523, 2003, IEEE Computer Society, 0-7695-1919-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, pp. 85, 2000, IEEE Computer Society, 0-7695-0506-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the International Conference on Parallel Processing 1999, ICPP 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 282-290, 1999, IEEE Computer Society, 0-7695-0350-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 619-622, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 377-382, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
directional consistency, constraint propagation, local consistency |
30 | Hengming Zou, Farnam Jahanian |
A Real-Time Primary-Backup Replication Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(6), pp. 533-548, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA, pp. 164-174, 1997, IEEE Computer Society, 0-8186-7828-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(6), pp. 594-602, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1411-1416, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (12) ![In: Online Communities and Social Computing, Third International Conference, OCSC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 326-335, 2009, Springer, 978-3-642-02773-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoMM ![In: MoMM'2009 - The 7th International Conference on Advances in Mobile Computing and Multimedia, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 351-355, 2009, ACM, 978-1-60558-659-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2009, November 4-6, 2009, Seattle, Washington, USA, Proceedings, pp. 532-535, 2009, ACM, 978-1-60558-649-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2009 ACM Symposium on Document Engineering, Munich, Germany, September 16-18, 2009, pp. 135-138, 2009, ACM, 978-1-60558-575-8. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|