|
|
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 |
20 | Jérémy Buisson, Françoise André, Jean-Louis Pazat |
Enforcing consistency during the adaptation of a parallel component. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 4-6 July 2005, Lille, France, pp. 66-73, 2005, IEEE Computer Society, 0-7695-2434-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
parallel computing, consistency, dynamic adaptation |
20 | Carlos 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](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design: Proceedings of the Forth International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2005, Gdansk, Poland, September 26-27, 2005, pp. 143-149, 2005, ACM, 1-59593-220-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
maintenance of the consistency, model transformation, task-based design |
20 | Jü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](Pics/bibsonomy.png) |
Comput. Support. Cooperative Work. ![In: Comput. Support. Cooperative Work. 13(5-6), pp. 573-602, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ActivityExplorer, object-centric sharing, synchronous and asynchronous collaboration, peer-to-peer, replication, consistency control, activity-centric collaboration |
20 | Håvard Molland |
Improved Linear Consistency Attack on Irregular Clocked Keystream Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004, Revised Papers, pp. 109-126, 2004, Springer, 3-540-22171-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
irregular clocked generators, linear consistency test, Stream ciphers |
20 | Michael Ben-Or, Ran El-Yaniv |
Resilient-optimal interactive consistency in constant time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 16(4), pp. 249-262, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed systems, Byzantine agreement, Broadcast channels, Interactive consistency |
20 | Gerhard Gröger, Lutz Plümer |
Exploiting 2D concepts to achieve consistency in 3D GIS applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: ACM-GIS 2003, Proceedings of the Eleventh ACM International Symposium on Advances in Geographic Information Systems, New Orleans, Louisiana, USA, November 7-8, 2003, pp. 78-85, 2003, ACM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
GIS, maps, consistency, completeness, 3D, correctness, axioms |
20 | Liyin 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](Pics/bibsonomy.png) |
ICPADS ![In: 9th International Conference on Parallel and Distributed Systems, ICPADS 2002, Taiwan, ROC, December 17-20, 2002, pp. 69-74, 2002, IEEE Computer Society, 0-7695-1760-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
CSCW, Internet computing, consistency maintenance, group editors, multi-versioning, Intention preservation |
20 | Moritz Wende, Michael Schöttner, Ralph Göckelmann, T. Bindhammer, Peter Schulthess |
Optimistic Synchronization and Transactional Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 22-24 May 2002, Berlin, Germany, pp. 331-339, 2002, IEEE Computer Society, 0-7695-1582-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Operating Systems, Transactions, Distributed Shared Memory, Memory Consistency |
20 | Rachid Guerraoui, Corine Hari |
On the consistency problem in mobile distributed computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POMC ![In: Proceedings of the 2002 Workshop on Principles of Mobile Computing, POMC 2002, October 30-31, 2002, Toulouse, France, pp. 51-57, 2002, ACM, 1-58113-511-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed, consistency, operational transformations |
20 | Michel Raynal |
Sequential consistency as lazy linearizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA 2002, Winnipeg, Manitoba, Canada, August 11-13, 2002, pp. 151-152, 2002, ACM, 1-58113-529-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
sequential consistency, linearizability |
20 | Matthew 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](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(11), pp. 1266-1280, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
2D-3D registration, photo-consistency, extrinsic parameter calibration, similarity measures, pose estimation |
20 | Liyin 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](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 57-64, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
post-locking, CSCW, Operational transformation, consistency maintenance, multi-versioning, collaborative editors |
20 | Padmanabhan Krishnan |
Consistency checks for UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 162-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Gavin Lowe, Jim Davies |
Using CSP to Verify Sequential Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 12(2-3), pp. 91-103, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Lazy caching protocol, Verification, Specification, CSP, Sequential consistency |
20 | Evaggelia Pitoura, Bharat K. Bhargava |
Data Consistency in Intermittently Connected Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(6), pp. 896-915, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Mobile computing, adaptability, concurrency control, replication, consistency, disconnected operation, transaction management |
20 | Subhasish Mazumdar, Panos K. Chrysanthis |
Achieving Consistency in Mobile Databases through Localization in PRO-MOTION. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 82-89, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Transaction processing, Mobile Databases, Data Consistency, Disconnected Operations, Distributed Transactions, Constraint Maintenance |
20 | Kathi Fisler, Claude Girault |
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 84-103, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency |
20 | Thierry Vidal, Hélène Fargier |
Contingent Durations in Temporal CSPs: From Consistency to Controllabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 78-85, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic |
20 | Laurence Cholvy, Frédéric Cuppens |
Analyzing Consistency of Security Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA, pp. 103-112, 1997, IEEE Computer Society, 0-8186-7828-3. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Mats Per Erik Heimdahl, Nancy G. Leveson |
Completeness and Consistency in Hierarchical State-Based Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(6), pp. 363-377, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
state-based requirements, formal methods, static analysis, consistency, Completeness, reactive systems, formal semantics |
20 | Mats Per Erik Heimdahl, Barbara J. Czerny |
Using PVS to analyze hierarchical state-based requirements for completeness and consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 252-262, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Manhoi Choy |
Relaxed consistency requirements for replicated objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 522-, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Ching-Farn Eric Wu, Yew-Huey Liu, Yarsun Hsu |
Timestamp consistency and trace-driven analysis for distributed parallel systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 680-686, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Igor Tartalja, Veljko M. Milutinovic |
A survey of software solutions for maintenance of cache consistency in shared memory multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 272-287, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud |
Data consistency in a distributed persistent object system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 635-644, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Edward A. Lee |
Consistency in Dataflow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(2), pp. 223-235, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Alain Sandoz, André Schiper |
Weak Consistency and Pessimistic Replica Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 4th International Workshop, WDAG '90, Bari, Italy, September 24-26, 1990, Proceedings, pp. 228-244, 1990, Springer, 3-540-54099-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
pessimism, distributed systems, replication, serializability, weak consistency |
20 | Pierre Parent, Steven W. Zucker |
Trace Inference, Curvature Consistency, and Curve Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(8), pp. 823-839, 1989. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Yao-Chou Cheng, Shin-Yee Lu |
The Binary Consistency Checking Scheme and Its Applications to Seismic Horizon Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(4), pp. 439-447, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
binary consistency checking, seismic horizon detection, loop tying, seismic interpretation, computerised pattern recognition, skeletonization, seismology, geophysics computing |
20 | A. W. Bollen |
Counterfactuals, Cotenability and Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings, pp. 187-201, 1988, Springer, 3-540-52062-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
counterfactuals, logic programming, conditionals, consistency maintenance |
20 | Fangyong Hou, Nong Xiao, Yuhua Tang, Hongjun He, Fang Liu 0002 |
Protect Disk Integrity: Solid Security, Fine Performance and Fast Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISA ![In: Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009. Proceedings, pp. 169-178, 2009, Springer, 978-3-642-02616-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hash tree, performance, integrity, consistency, disk |
20 | Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch |
InvisiFence: performance-transparent memory ordering in conventional multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 233-244, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel programming, memory consistency |
20 | Rolf Grütter, Thomas Scharrenbach, Bettina Bauer-Messmer |
Improving an RCC-Derived Geospatial Approximation by OWL Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, pp. 293-306, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Geospatial approximation, Region Connection Calculus, Web Ontology Language, hypothesis testing, consistency checking |
20 | M. Andrea Rodríguez, Leopoldo E. Bertossi, Mónica Caniupán Marileo |
An inconsistency tolerant approach to querying spatial databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2008, November 5-7, 2008, Irvine, California, USA, Proceedings, pp. 36, 2008, ACM, 978-1-60558-323-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
inconsistency tolerance, repair semantics, consistency |
20 | Ghalem Belalem, Belabbes Yagoubi |
Hybrid Negotiation Mechanism for Resolution Conflicts between Replicas in Data Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUE ![In: 2008 International Conference on Multimedia and Ubiquitous Engineering (MUE 2008), 24-26 April 2008, Busan, Korea, pp. 215-220, 2008, IEEE Computer Society, 978-0-7695-3134-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
replication, consistency, negotiation, data grid, conflicts |
20 | Fazhi He, Huajun Liu, Xiantao Cai, Shuxu Jing |
A Replicated CSCW Framework for Multi-user Interaction in 3D Collaborative Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV, pp. 1065-1074, 2007, Springer, 978-3-540-73109-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Replicated architecture, Consistency maintain, Naming mechanism, Collaborative design, Three-dimension, Multi-user interaction |
20 | Thomas Triebsees, Uwe M. Borghoff |
Towards automatic document migration: semantic preservation of embedded queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2007 ACM Symposium on Document Engineering, Winnipeg, Manitoba, Canada, August 28-31, 2007, pp. 209-218, 2007, ACM, 978-1-59593-776-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automated document migration, link consistency, query processing, digital preservation |
20 | Roberto Baldoni, Alessia Milani, Sara Tucci Piergiovanni |
Optimal propagation-based protocols implementing causal memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 18(6), pp. 461-474, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Propagation-based protocols, Optimality criterion, Distributed systems, Distributed shared memory, Causal consistency |
20 | Howon Kim 0002, In-So Kweon |
Appearance-Cloning: Photo-Consistent Scene Recovery from Multi-View Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 66(2), pp. 163-192, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
volumetric reconstruction, voxel coloring, photo-consistency, color similarity, image-based modeling, appearance, space carving |
20 | Yi Zhang, Ling Chen 0001, Gencai Chen |
Globally synchronized dead-reckoning with local lag for continuous distributed multiplayer games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 5th Workshop on Network and System Support for Games, NETGAMES 2006, Singapore, October 30-31, 2006, pp. 7, 2006, ACM, 1-59593-589-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
continuous replicated application, local lag, consistency, dead-reckoning, distributed multi-player games |
20 | Zhiyi Huang 0001, Wenguang Chen, Martin K. Purvis, Weimin Zheng |
VODCA: View-Oriented, Distributed, Cluster-Based Approach to Parallel Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore, pp. 15, 2006, IEEE Computer Society, 0-7695-2585-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
VODCA, Viewbased Consistency, View-Oriented Parallel Programming, Parallel Computing, Message Passing Interface, Cluster Computing, Distributed Shared Memory |
20 | Haifeng Yu, Amin Vahdat |
Consistent and automatic replica regeneration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 1(1), pp. 3-37, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Peer-to-peer storage systems, replication, consistency, availability, regeneration |
20 | Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward |
Cooperative Write-Behind Data Buffering for MPI I/O. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings, pp. 102-109, 2005, Springer, 3-540-29009-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Write behind, file consistency, data buffering, I/O thread, MPI I/O |
20 | Angie Chandler, Joe Finney |
Rendezvous: supporting real-time collaborative mobile gaming in high latency environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2005, Valencia, Spain, June 15-15, 2005, pp. 310-313, 2005, ACM, 1-59593-110-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
collaboration, mobile, real-time, gaming, consistency, latency, multi-user, multiplayer |
20 | Tyng-Yeu Liang, Chun-Yi Wu, Jyh-Biau Chang, Ce-Kuen Shieh, Pei-Hsin Fan |
Enabling Software DSM System for Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 8th International Symposium on Parallel Architectures, Algorithms, and Networks, ISPAN 2005, December 7-9. 2005, Las Vegas, Nevada, USA, pp. 428-435, 2005, IEEE Computer Society, 0-7695-2509-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Teamster-G, cluster cache, two-level consistency protocol, resource allocation, software distributed shared memory |
20 | Jan Scheffczyk, Christiane Stutz, Uwe M. Borghoff, Johannes Siedersleben |
Formale Konsistenzsicherung in informellen Software-Spezifikationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 19(1), pp. 17-29, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Analysis modules, Temporal logic heterogeneous repositories, Consistency, Software specification |
20 | Jan Scheffczyk, Peter Rödig, Uwe M. Borghoff, Lothar Schmitz |
Managing inconsistent repositories via prioritized repairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2004 ACM Symposium on Document Engineering, Milwaukee, Wisconsin, USA, October 28-30, 2004, pp. 137-146, 2004, ACM, 1-58113-938-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
document management, consistency maintenance, repair |
20 | Sudha Krishnamurthy, William H. Sanders, Michel Cukier |
An Adaptive Quality of Service Aware Middleware for Replicated Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(11), pp. 1112-1125, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Replica consistency, quality of service, middleware, probabilistic modeling, timeliness |
20 | Maria Aneiros, Vladimir Estivill-Castro, Chengzheng Sun |
Group unified histories an instrument for productive unconstrained co-browsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2003 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2003, Sanibel Island, Florida, USA, November 9-12, 2003, pp. 330-338, 2003, ACM, 1-58113-693-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
collaborative browsing, group unified history, unconstrained cooperative browsing, awareness, consistency model |
20 | Wenfei Fan, Leonid Libkin |
On XML integrity constraints in the presence of DTDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 49(3), pp. 368-406, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, Consistency, integrity constraints, DTDs, implication |
20 | Susan Weissman Lauzac, Panos K. Chrysanthis |
Personalizing information gathering for mobile database clients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 49-56, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
data consistency and currency, mobile computing, mobile agents, mobile databases, materialized views |
20 | Malek Mouhoub, Jonathan Yip |
Dynamic CSPs for Interval-Based Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 15th International Conference on Industrial and Engineering, Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002, Proceedings, pp. 575-585, 2002, Springer, 3-540-43781-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Dynamic Arc Consistency, Scheduling, Planning, Temporal Reasoning |
20 | Hong Zhu 0002, Lingzi Jin |
Scenario Analysis in an Automated Tool for Requirements Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 5(1), pp. 2-22, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Requirements model synthesis, Requirements engineering, Consistency, Completeness, Scenario analysis, Automated tool |
20 | Bengt Jonsson 0001, Amir Pnueli, Camilla Rump |
Proving Refinement Using Transduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 12(2-3), pp. 129-149, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Delayed simulation, Verification, Specification, Temporal logic, Refinement, Sequential consistency, Transduction |
20 | Bashar Nuseibeh, Steve M. Easterbrook |
The Process of Inconsistency Management: A Framework for Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 10th International Workshop on Database & Expert Systems Applications, Florence, Italy, September 1-3, 1999, Proceedings., pp. 364-368, 1999, IEEE Computer Society, 0-7695-0281-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
specifications, consistency, requirements, inconsistency |
20 | Anna Mikhajlova |
Consistent Extension of Components in the Presence of Explicit Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 76-85, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding |
20 | Liviu Iftode, Cezary Dubnicki, Edward W. Felten, Kai Li 0001 |
Improving Release-Consistent Shared Virtual Memory Using Automatic Update. ![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. 14-25, 1996, IEEE Computer Society, 0-8186-7237-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Distributed Shared Memory, Shared Virtual Memory, Release Consistency, Automatic Update |
20 | Anne Doucet, Stéphane Gançarski, Geneviève Jomier, Sophie Monties |
Integrity Constraints in Multiversion Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 14th British National Conferenc on Databases, BNCOD 14, Edinburgh, UK, July 3-5, 1996, Proceedings, pp. 56-73, 1996, Springer, 3-540-61442-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
database, consistency, integrity constraints, versions |
20 | Young-Kuk Kim, Sang Hyuk Son |
Supporting predictability in real-time database systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 38-48, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Peter van Beek, Rina Dechter |
On the Minimality and Decomposability of Row-Convex Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(3), pp. 543-561, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
row convexity, constraint satisfaction problems, relations, constraint networks, constraint-based reasoning, path consistency, consecutive ones property |
20 | Leo Motus, R. Kinksaar, Tonu Naks, M. Pall |
Enhancing object modelling technique with timing analysis capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 298-301, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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 |
20 | Peter B. Ladkin, Roger D. Maddux |
On Binary Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 41(3), pp. 435-469, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
constraint matrices, relation algebras, constraint satisfaction problems, relations, path consistency |
19 | Anthony Finkelstein |
A Foolish Consistency: Technical Challenges in Consistency Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 1-5, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
Relational consistency by constraint filtering. ![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. 2073-2074, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Aline Deruyver, Yann Hodé |
Arc-Consistency Checking with Bilevel Constraints: An Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GbRPR ![In: Graph-Based Representations in Pattern Recognition, 7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings, pp. 174-183, 2009, Springer, 978-3-642-02123-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | José 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](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 41-48, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
pairwise matrix reconstruction, neural network, decision support systems, AHP, multi-layer perceptron |
19 | Gabriele Weiler, Arnd Poetzsch-Heffter, Stephan Kiefer |
Consistency Checking for Workflows with an Ontology-Based Data Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009. Proceedings, pp. 98-113, 2009, Springer, 978-3-642-03572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kilho Shin, Xian Ming Xu |
A Consistency-Constrained Feature Selection Algorithm with the Steepest Descent Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence, 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009. Proceedings, pp. 338-350, 2009, Springer, 978-3-642-04819-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Fangyong Hou, Dawu Gu, Nong Xiao, Fang Liu 0002, Hongjun He |
Performance and Consistency Improvements of Hash Tree Based Disk Storage Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2009, 9-11 July 2009, Zhang Jia Jie, Hunan, China, pp. 51-56, 2009, IEEE Computer Society, 978-0-7695-3741-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Prasant 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](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 310-311, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
incomplete networks, authentication, agreement, reliable communication |
19 | Michel 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](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 21(3), pp. 350-391, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Anonymity, Identity-based encryption, Random-oracle model, Foundations, Searchable encryption |
19 | Holger Rosencrantz |
Properties of Goal Systems: Consistency, Conflict, and Coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(1), pp. 37-58, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
goal systems, goal conflict, coherence |
19 | Matthias W. Seeger, Sham M. Kakade, Dean P. Foster |
Information Consistency of Nonparametric Gaussian Process Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(5), pp. 2376-2382, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Simon M. Becker, Manfred Nagl, Bernhard Westfechtel |
Incremental and Interactive Integrator Tools for Design Product Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Results of the IMPROVE Project ![In: Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support - Results of the IMPROVE Project, pp. 224-267, 2008, Springer, 978-3-540-70551-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao |
Verification for Time Consistency of Web Service Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 624-629, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification of WS Flow, Annotated OWL_S, Time Ontology, Time Constraints Petri Net, Model Checking |
19 | Ilkyu Ha, Byunguk Kang |
Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2008, 9th International Conference, Daejeon, South Korea, November 2-5, 2008, Proceedings, pp. 436-443, 2008, Springer, 978-3-540-88905-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yuyu Yin, Jianwei Yin, Ying Li 0001, ShuiGuang Deng |
Verifying Consistency of Web Services Behavior Using Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 1560-1567, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yuyu Yin, Ying Li 0001, ShuiGuang Deng, Wu Jian |
Verifying Consistency of Web Services Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 1308-1314, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yiwen Liang, Wenjun Deng |
Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (1) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China, pp. 196-200, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jian Hou 0004, Fei Yuan, Hong-hai Mi |
Consistency, Continuity and Approximation Properties of CRI Algorithm and Triple I Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 220-224, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve |
Length-Lex Bounds Consistency for Knapsack Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 266-281, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Hervé Jégou, Matthijs Douze, Cordelia Schmid |
Hamming Embedding and Weak Geometric Consistency for Large Scale Image Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I, pp. 304-317, 2008, Springer, 978-3-540-88681-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Wei Liu, Songbo Tan, Hongbo Xu, Lihong Wang |
Splog Filtering Based on Writing Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 227-233, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Shaoning Pang, Ilkka Havukkala, Yingjie Hu, Nikola K. Kasabov |
Classification consistency analysis for bootstrapping gene selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 16(6), pp. 527-539, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Neil Evans, Helen Treharne |
Interactive tool support for CSP || B consistency checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(3), pp. 277-302, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B |
19 | Jared Fox, Nik Brown |
Sensitivity and Consistency of Affymetrix GeneChip Normalization Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, October 14-17, 2007, Harvard Medical School, Boston, MA, USA, pp. 1081-1086, 2007, IEEE Computer Society, 978-1-4244-1509-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Changrui Yu, Yan Luo |
Term Consistency Checking of Ontology Model Based on Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 496-501, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Carlos Mario Zapata Jaramillo, Guillermo González-Calderon, Alexander F. Gelbukh |
A Rule-Based System for Assessing Consistency Between UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 215-224, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Boaz 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](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 273-282, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
privacy, OLAP, contingency table |
19 | Christiane 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](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-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jamie Payton, Christine Julien 0001, Gruia-Catalin Roman |
Automatic consistency assessment for query results in dynamic environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 245-254, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
query semantics, mobile computing |
19 | Jan Poland |
On the Consistency of Discrete Bayesian Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings, pp. 405-416, 2007, Springer, 978-3-540-70917-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jerzy Blaszczynski, Salvatore Greco, Roman Slowinski, Marcin Szelag |
Monotonic Variable Consistency Rough Set Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 126-133, 2007, Springer, 978-3-540-72457-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jing Zhou, Yijie Wang 0001, Sikun Li |
Key-Attributes Based Optimistic Data Consistency Maintenance Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings, pp. 91-103, 2007, Springer, 978-3-540-74741-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ghalem Belalem, Yahya Slimani |
Consistency Management for Data Grid in OptorSim Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUE ![In: 2007 International Conference on Multimedia and Ubiquitous Engineering (MUE 2007), 26-28 April 2007, Seoul, Korea, pp. 554-560, 2007, IEEE Computer Society, 978-0-7695-2777-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jehn-Ruey Jiang, Jiun-Shiang Chiou, Shun-Yun Hu |
Enhancing Neighborship Consistency for Peer-to-Peer Distributed Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada, pp. 71, 2007, IEEE Computer Society, 0-7695-2881-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Egyed |
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 793-796, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Weiping He, Ing-Ray Chen, Baoshan Gu |
A Proxy-Based Integrated Cache Consistency and Mobility Management Scheme for Mobile IP Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), May 21-23, 2007, Niagara Falls, Canada, pp. 354-361, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Yunja Choi |
Checking Interaction Consistency in MARMOT Component Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM (1) ![In: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings, pp. 832-843, 2007, Springer, 978-3-540-69506-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Tomás Werner |
What is decreased by the max-sum arc consistency algorithm? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Fourth International Conference (ICML 2007), Corvallis, Oregon, USA, June 20-24, 2007, pp. 1007-1014, 2007, ACM, 978-1-59593-793-3. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|