The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for consistency with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1938-1962 (16) 1964-1973 (20) 1974-1976 (23) 1977-1978 (23) 1979 (17) 1980 (31) 1981 (18) 1982 (19) 1983 (31) 1984 (23) 1985 (25) 1986 (42) 1987 (48) 1988 (68) 1989 (84) 1990 (101) 1991 (107) 1992 (132) 1993 (133) 1994 (143) 1995 (174) 1996 (206) 1997 (212) 1998 (234) 1999 (315) 2000 (339) 2001 (353) 2002 (467) 2003 (541) 2004 (713) 2005 (814) 2006 (907) 2007 (866) 2008 (861) 2009 (643) 2010 (362) 2011 (284) 2012 (298) 2013 (359) 2014 (405) 2015 (422) 2016 (442) 2017 (476) 2018 (535) 2019 (586) 2020 (753) 2021 (877) 2022 (1014) 2023 (1277) 2024 (335)
Publication types (Num. hits)
article(6656) book(7) data(1) incollection(86) inproceedings(10248) phdthesis(163) proceedings(13)
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
20Jérémy Buisson, Françoise André, Jean-Louis Pazat Enforcing consistency during the adaptation of a parallel component. Search on Bibsonomy ISPDC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF parallel computing, consistency, dynamic adaptation
20Carlos Eduardo Caminha Lopes Rodrigues, Bernardo Lula Jr., Pablo Ribeiro Suárez Using a script model to preserve the consistency within an UI design environment. Search on Bibsonomy TAMODIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF maintenance of the consistency, model transformation, task-based design
20Jürgen Vogel 0001, Werner Geyer, Li-Te Cheng, Michael J. Muller Consistency Control for Synchronous and Asynchronous Collaboration Based on Shared Objects and Activities. Search on Bibsonomy Comput. Support. Cooperative Work. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ActivityExplorer, object-centric sharing, synchronous and asynchronous collaboration, peer-to-peer, replication, consistency control, activity-centric collaboration
20Håvard Molland Improved Linear Consistency Attack on Irregular Clocked Keystream Generators. Search on Bibsonomy FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF irregular clocked generators, linear consistency test, Stream ciphers
20Michael Ben-Or, Ran El-Yaniv Resilient-optimal interactive consistency in constant time. Search on Bibsonomy Distributed Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Fault tolerance, Distributed systems, Byzantine agreement, Broadcast channels, Interactive consistency
20Gerhard Gröger, Lutz Plümer Exploiting 2D concepts to achieve consistency in 3D GIS applications. Search on Bibsonomy GIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF GIS, maps, consistency, completeness, 3D, correctness, axioms
20Liyin Xue, Mehmet A. Orgun, Kang Zhang 0001 Editing Any Version at Any Time: a consistency maintenance mechanism in Internet-based collaborative environments. Search on Bibsonomy ICPADS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CSCW, Internet computing, consistency maintenance, group editors, multi-versioning, Intention preservation
20Moritz Wende, Michael Schöttner, Ralph Göckelmann, T. Bindhammer, Peter Schulthess Optimistic Synchronization and Transactional Consistency. Search on Bibsonomy CCGRID The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Operating Systems, Transactions, Distributed Shared Memory, Memory Consistency
20Rachid Guerraoui, Corine Hari On the consistency problem in mobile distributed computing. Search on Bibsonomy POMC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed, consistency, operational transformations
20Michel Raynal Sequential consistency as lazy linearizability. Search on Bibsonomy SPAA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF sequential consistency, linearizability
20Matthew J. Clarkson, Daniel Rueckert, Derek L. G. Hill, David J. Hawkes Using Photo-Consistency to Register 2D Optical Images of the Human Face to a 3D Surface Model. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF 2D-3D registration, photo-consistency, extrinsic parameter calibration, similarity measures, pose estimation
20Liyin Xue, Kang Zhang, Chengzheng Sun An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors. Search on Bibsonomy ISADS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF post-locking, CSCW, Operational transformation, consistency maintenance, multi-versioning, collaborative editors
20Padmanabhan Krishnan Consistency checks for UML. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF UML consistency checking, state predicates, PVS theorem prover, Prototype Verification System, partially specified systems, behavioural description, Unified Modeling Language, formal verification, theorem proving, specification languages, diagrams, computation history, UML diagrams, dynamic aspects
20Gavin Lowe, Jim Davies Using CSP to Verify Sequential Consistency. Search on Bibsonomy Distributed Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Lazy caching protocol, Verification, Specification, CSP, Sequential consistency
20Evaggelia Pitoura, Bharat K. Bhargava Data Consistency in Intermittently Connected Distributed Systems. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Mobile computing, adaptability, concurrency control, replication, consistency, disconnected operation, transaction management
20Subhasish Mazumdar, Panos K. Chrysanthis Achieving Consistency in Mobile Databases through Localization in PRO-MOTION. Search on Bibsonomy DEXA Workshops The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Transaction processing, Mobile Databases, Data Consistency, Disconnected Operations, Distributed Transactions, Constraint Maintenance
20Kathi Fisler, Claude Girault Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency
20Thierry Vidal, Hélène Fargier Contingent Durations in Temporal CSPs: From Consistency to Controllabilities. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic
20Laurence Cholvy, Frédéric Cuppens Analyzing Consistency of Security Policies. Search on Bibsonomy S&P The full citation details ... 1997 DBLP  DOI  BibTeX  RDF security policy consistency analysis, deontic formulae, normative conflicts, role priorities, methodology, problem solving, roles, formal language, security of data, regulation, formal logic
20Mats Per Erik Heimdahl, Nancy G. Leveson Completeness and Consistency in Hierarchical State-Based Requirements. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF state-based requirements, formal methods, static analysis, consistency, Completeness, reactive systems, formal semantics
20Mats Per Erik Heimdahl, Barbara J. Czerny Using PVS to analyze hierarchical state-based requirements for completeness and consistency. Search on Bibsonomy HASE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
20Manhoi Choy Relaxed consistency requirements for replicated objects. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF weaker consistency conditions, concurrent sets, ordered set dictionary problem, fault tolerance, object-oriented programming, concurrency control, availability, multiprocessing systems, distributed environment, replicated objects
20Ching-Farn Eric Wu, Yew-Huey Liu, Yarsun Hsu Timestamp consistency and trace-driven analysis for distributed parallel systems. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF IBM computers, timestamp consistency, trace-driven analysis, distributed parallel systems, continuous event data stream, parallel program execution progress, separate streams, logical event order, local clock discrepancy, performance analysis techniques, IBM SPn systems, system events, minimal trace overhead, trace-driven analysis tools, NAS kernel benchmarks, performance evaluation, parallel processing, message passing, message passing, timing, parallel machines, clocks, system monitoring, integrated approach, multiple processors
20Igor Tartalja, Veljko M. Milutinovic A survey of software solutions for maintenance of cache consistency in shared memory multiprocessors. Search on Bibsonomy HICSS (1) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF cache consistency maintenance, abstract multidimensional criterion-space, potentially useful solutions, classification, data integrity, concurrency control, survey, shared memory systems, reviews, cache storage, shared-memory multiprocessor systems, software solutions
20Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud Data consistency in a distributed persistent object system. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF distributed persistent object system, atomic data type, PC++, conflict relationship, object operations, recovery code, object-oriented programming, data integrity, distributed databases, concurrency control, object-oriented databases, synchronisation, synchronisation, abstract data types, data consistency, persistent system
20Edward A. Lee Consistency in Dataflow Graphs. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF synchronous dataflow graphs, dataflow graphsemantics, token-flow model, graphtheory, programming languages, deadlock, programming theory, consistency checks, dataflow graphs, dataflow graph
20Alain Sandoz, André Schiper Weak Consistency and Pessimistic Replica Control. Search on Bibsonomy WDAG The full citation details ... 1990 DBLP  DOI  BibTeX  RDF pessimism, distributed systems, replication, serializability, weak consistency
20Pierre Parent, Steven W. Zucker Trace Inference, Curvature Consistency, and Curve Detection. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF curvature consistency, curve inference, curvature information, tangent, cocircularity, trace points, artificial images, pattern recognition, pattern recognition, picture processing, picture processing, inference mechanisms, natural images, curve detection
20Yao-Chou Cheng, Shin-Yee Lu The Binary Consistency Checking Scheme and Its Applications to Seismic Horizon Detection. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF binary consistency checking, seismic horizon detection, loop tying, seismic interpretation, computerised pattern recognition, skeletonization, seismology, geophysics computing
20A. W. Bollen Counterfactuals, Cotenability and Consistency. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1988 DBLP  DOI  BibTeX  RDF counterfactuals, logic programming, conditionals, consistency maintenance
20Fangyong Hou, Nong Xiao, Yuhua Tang, Hongjun He, Fang Liu 0002 Protect Disk Integrity: Solid Security, Fine Performance and Fast Recovery. Search on Bibsonomy ISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hash tree, performance, integrity, consistency, disk
20Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch InvisiFence: performance-transparent memory ordering in conventional multiprocessors. Search on Bibsonomy ISCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parallel programming, memory consistency
20Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer Improving an RCC-Derived Geospatial Approximation by OWL Axioms. Search on Bibsonomy ISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Geospatial approximation, Region Connection Calculus, Web Ontology Language, hypothesis testing, consistency checking
20M. Andrea Rodríguez, Leopoldo E. Bertossi, Mónica Caniupán Marileo An inconsistency tolerant approach to querying spatial databases. Search on Bibsonomy GIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF inconsistency tolerance, repair semantics, consistency
20Ghalem Belalem, Belabbes Yagoubi Hybrid Negotiation Mechanism for Resolution Conflicts between Replicas in Data Grid. Search on Bibsonomy MUE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF replication, consistency, negotiation, data grid, conflicts
20Fazhi He, Huajun Liu, Xiantao Cai, Shuxu Jing A Replicated CSCW Framework for Multi-user Interaction in 3D Collaborative Design. Search on Bibsonomy HCI (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Replicated architecture, Consistency maintain, Naming mechanism, Collaborative design, Three-dimension, Multi-user interaction
20Thomas Triebsees, Uwe M. Borghoff Towards automatic document migration: semantic preservation of embedded queries. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automated document migration, link consistency, query processing, digital preservation
20Roberto Baldoni, Alessia Milani, Sara Tucci Piergiovanni Optimal propagation-based protocols implementing causal memories. Search on Bibsonomy Distributed Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Propagation-based protocols, Optimality criterion, Distributed systems, Distributed shared memory, Causal consistency
20Howon Kim 0002, In-So Kweon Appearance-Cloning: Photo-Consistent Scene Recovery from Multi-View Images. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF volumetric reconstruction, voxel coloring, photo-consistency, color similarity, image-based modeling, appearance, space carving
20Yi Zhang, Ling Chen 0001, Gencai Chen Globally synchronized dead-reckoning with local lag for continuous distributed multiplayer games. Search on Bibsonomy NETGAMES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF continuous replicated application, local lag, consistency, dead-reckoning, distributed multi-player games
20Zhiyi Huang 0001, Wenguang Chen, Martin K. Purvis, Weimin Zheng VODCA: View-Oriented, Distributed, Cluster-Based Approach to Parallel Computing. Search on Bibsonomy CCGRID The full citation details ... 2006 DBLP  DOI  BibTeX  RDF VODCA, Viewbased Consistency, View-Oriented Parallel Programming, Parallel Computing, Message Passing Interface, Cluster Computing, Distributed Shared Memory
20Haifeng Yu, Amin Vahdat Consistent and automatic replica regeneration. Search on Bibsonomy ACM Trans. Storage The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Peer-to-peer storage systems, replication, consistency, availability, regeneration
20Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward Cooperative Write-Behind Data Buffering for MPI I/O. Search on Bibsonomy PVM/MPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Write behind, file consistency, data buffering, I/O thread, MPI I/O
20Angie Chandler, Joe Finney Rendezvous: supporting real-time collaborative mobile gaming in high latency environments. Search on Bibsonomy Advances in Computer Entertainment Technology The full citation details ... 2005 DBLP  DOI  BibTeX  RDF collaboration, mobile, real-time, gaming, consistency, latency, multi-user, multiplayer
20Tyng-Yeu Liang, Chun-Yi Wu, Jyh-Biau Chang, Ce-Kuen Shieh, Pei-Hsin Fan Enabling Software DSM System for Grid Computing. Search on Bibsonomy ISPAN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Teamster-G, cluster cache, two-level consistency protocol, resource allocation, software distributed shared memory
20Jan Scheffczyk, Christiane Stutz, Uwe M. Borghoff, Johannes Siedersleben Formale Konsistenzsicherung in informellen Software-Spezifikationen. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Analysis modules, Temporal logic heterogeneous repositories, Consistency, Software specification
20Jan Scheffczyk, Peter Rödig, Uwe M. Borghoff, Lothar Schmitz Managing inconsistent repositories via prioritized repairs. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2004 DBLP  DOI  BibTeX  RDF document management, consistency maintenance, repair
20Sudha Krishnamurthy, William H. Sanders, Michel Cukier An Adaptive Quality of Service Aware Middleware for Replicated Services. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Replica consistency, quality of service, middleware, probabilistic modeling, timeliness
20Maria Aneiros, Vladimir Estivill-Castro, Chengzheng Sun Group unified histories an instrument for productive unconstrained co-browsing. Search on Bibsonomy GROUP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF collaborative browsing, group unified history, unconstrained cooperative browsing, awareness, consistency model
20Wenfei Fan, Leonid Libkin On XML integrity constraints in the presence of DTDs. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML, XML, Consistency, integrity constraints, DTDs, implication
20Susan Weissman Lauzac, Panos K. Chrysanthis Personalizing information gathering for mobile database clients. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF data consistency and currency, mobile computing, mobile agents, mobile databases, materialized views
20Malek Mouhoub, Jonathan Yip Dynamic CSPs for Interval-Based Temporal Reasoning. Search on Bibsonomy IEA/AIE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Dynamic Arc Consistency, Scheduling, Planning, Temporal Reasoning
20Hong Zhu 0002, Lingzi Jin Scenario Analysis in an Automated Tool for Requirements Engineering. Search on Bibsonomy Requir. Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Requirements model synthesis, Requirements engineering, Consistency, Completeness, Scenario analysis, Automated tool
20Bengt Jonsson 0001, Amir Pnueli, Camilla Rump Proving Refinement Using Transduction. Search on Bibsonomy Distributed Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Delayed simulation, Verification, Specification, Temporal logic, Refinement, Sequential consistency, Transduction
20Bashar Nuseibeh, Steve M. Easterbrook The Process of Inconsistency Management: A Framework for Understanding. Search on Bibsonomy DEXA Workshops The full citation details ... 1999 DBLP  DOI  BibTeX  RDF specifications, consistency, requirements, inconsistency
20Anna Mikhajlova Consistent Extension of Components in the Presence of Explicit Invariants. Search on Bibsonomy TOOLS (29) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding
20Liviu Iftode, Cezary Dubnicki, Edward W. Felten, Kai Li 0001 Improving Release-Consistent Shared Virtual Memory Using Automatic Update. Search on Bibsonomy HPCA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Distributed Shared Memory, Shared Virtual Memory, Release Consistency, Automatic Update
20Anne Doucet, Stéphane Gançarski, Geneviève Jomier, Sophie Monties Integrity Constraints in Multiversion Databases. Search on Bibsonomy BNCOD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF database, consistency, integrity constraints, versions
20Young-Kuk Kim, Sang Hyuk Son Supporting predictability in real-time database systems. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF multiple predictability levels, read times, transaction processing scheme, operating environment changes, critical transaction completion guarantees, correctness criterion, predictable transaction execution, data temporal consistency, deadline miss ratio minimization, simulation, performance, real-time systems, adaptability, specifications, data integrity, software reliability, transaction processing, database theory, temporal databases, timing constraints, software performance evaluation, serializability, temporal constraints, prediction theory, real-time database systems, transaction scheduling
20Peter van Beek, Rina Dechter On the Minimality and Decomposability of Row-Convex Constraint Networks. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF row convexity, constraint satisfaction problems, relations, constraint networks, constraint-based reasoning, path consistency, consecutive ones property
20Leo Motus, R. Kinksaar, Tonu Naks, M. Pall Enhancing object modelling technique with timing analysis capabilities. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems
20Peter B. Ladkin, Roger D. Maddux On Binary Constraint Problems. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF constraint matrices, relation algebras, constraint satisfaction problems, relations, path consistency
19Anthony Finkelstein A Foolish Consistency: Technical Challenges in Consistency Management. Search on Bibsonomy DEXA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere Relational consistency by constraint filtering. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
19Aline Deruyver, Yann Hodé Arc-Consistency Checking with Bilevel Constraints: An Optimization. Search on Bibsonomy GbRPR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19José Antonio Gómez-Ruiz, Marcelo Karanik, José Ignacio Peláez Improving the Consistency of AHP Matrices Using a Multi-layer Perceptron-Based Model. Search on Bibsonomy IWANN (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF pairwise matrix reconstruction, neural network, decision support systems, AHP, multi-layer perceptron
19Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer Consistency Checking for Workflows with an Ontology-Based Data Perspective. Search on Bibsonomy DEXA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Kilho Shin, Xian Ming Xu A Consistency-Constrained Feature Selection Algorithm with the Steepest Descent Method. Search on Bibsonomy MDAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Fangyong Hou, Dawu Gu, Nong Xiao, Fang Liu 0002, Hongjun He Performance and Consistency Improvements of Hash Tree Based Disk Storage Protection. Search on Bibsonomy NAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Prasant Gopal, Anuj Gupta 0001, Pranav K. Vasishta, Piyush Bansal, Kannan Srinathan Brief announcement: global consistency can be easier than point-to-point communication. Search on Bibsonomy PODC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF incomplete networks, authentication, agreement, reliable communication
19Michel Abdalla, Mihir Bellare, Dario Catalano, Eike Kiltz, Tadayoshi Kohno, Tanja Lange 0001, John Malone-Lee, Gregory Neven, Pascal Paillier, Haixia Shi Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions. Search on Bibsonomy J. Cryptol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Anonymity, Identity-based encryption, Random-oracle model, Foundations, Searchable encryption
19Holger Rosencrantz Properties of Goal Systems: Consistency, Conflict, and Coherence. Search on Bibsonomy Stud Logica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF goal systems, goal conflict, coherence
19Matthias W. Seeger, Sham M. Kakade, Dean P. Foster Information Consistency of Nonparametric Gaussian Process Methods. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Simon M. Becker, Manfred Nagl, Bernhard Westfechtel Incremental and Interactive Integrator Tools for Design Product Consistency. Search on Bibsonomy Results of the IMPROVE Project The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao Verification for Time Consistency of Web Service Flow. Search on Bibsonomy ACIS-ICIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification of WS Flow, Annotated OWL_S, Time Ontology, Time Constraints Petri Net, Model Checking
19Ilkyu Ha, Byunguk Kang Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram. Search on Bibsonomy IDEAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Yuyu Yin, Jianwei Yin, Ying Li 0001, ShuiGuang Deng Verifying Consistency of Web Services Behavior Using Type Theory. Search on Bibsonomy APSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Yuyu Yin, Ying Li 0001, ShuiGuang Deng, Wu Jian Verifying Consistency of Web Services Behavior. Search on Bibsonomy APSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Yiwen Liang, Wenjun Deng Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming. Search on Bibsonomy CSSE (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Jian Hou 0004, Fei Yuan, Hong-hai Mi Consistency, Continuity and Approximation Properties of CRI Algorithm and Triple I Method. Search on Bibsonomy FSKD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve Length-Lex Bounds Consistency for Knapsack Constraints. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Hervé Jégou, Matthijs Douze, Cordelia Schmid Hamming Embedding and Weak Geometric Consistency for Large Scale Image Search. Search on Bibsonomy ECCV (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Wei Liu, Songbo Tan, Hongbo Xu, Lihong Wang Splog Filtering Based on Writing Consistency. Search on Bibsonomy Web Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Shaoning Pang, Ilkka Havukkala, Yingjie Hu, Nikola K. Kasabov Classification consistency analysis for bootstrapping gene selection. Search on Bibsonomy Neural Comput. Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Neil Evans, Helen Treharne Interactive tool support for CSP || B consistency checking. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
19Jared Fox, Nik Brown Sensitivity and Consistency of Affymetrix GeneChip Normalization Methods. Search on Bibsonomy BIBE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Changrui Yu, Yan Luo Term Consistency Checking of Ontology Model Based on Description Logics. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Carlos Mario Zapata Jaramillo, Guillermo González-Calderon, Alexander F. Gelbukh A Rule-Based System for Assessing Consistency Between UML Models. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Boaz Barak, Kamalika Chaudhuri, Cynthia Dwork, Satyen Kale, Frank McSherry, Kunal Talwar Privacy, accuracy, and consistency too: a holistic solution to contingency table release. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF privacy, OLAP, contingency table
19Christiane V. Pousa, Luís F. W. Góes, Carlos A. P. S. Martins A Configuration Control Mechanism Based on Concurrency Level for a Reconfigurable Consistency Algorithm. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Jamie Payton, Christine Julien 0001, Gruia-Catalin Roman Automatic consistency assessment for query results in dynamic environments. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF query semantics, mobile computing
19Jan Poland On the Consistency of Discrete Bayesian Learning. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Jerzy Blaszczynski, Salvatore Greco, Roman Slowinski, Marcin Szelag Monotonic Variable Consistency Rough Set Approaches. Search on Bibsonomy RSKT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Jing Zhou, Yijie Wang 0001, Sikun Li Key-Attributes Based Optimistic Data Consistency Maintenance Method. Search on Bibsonomy ISPA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Ghalem Belalem, Yahya Slimani Consistency Management for Data Grid in OptorSim Simulator. Search on Bibsonomy MUE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Jehn-Ruey Jiang, Jiun-Shiang Chiou, Shun-Yun Hu Enhancing Neighborship Consistency for Peer-to-Peer Distributed Virtual Environments. Search on Bibsonomy ICDCS Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Alexander Egyed UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Weiping He, Ing-Ray Chen, Baoshan Gu A Proxy-Based Integrated Cache Consistency and Mobility Management Scheme for Mobile IP Systems. Search on Bibsonomy AINA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Yunja Choi Checking Interaction Consistency in MARMOT Component Refinements. Search on Bibsonomy SOFSEM (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Tomás Werner What is decreased by the max-sum arc consistency algorithm? Search on Bibsonomy ICML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #501 - #600 of 17174 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license