|
|
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. |
ISPDC |
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. |
TAMODIA |
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. |
Comput. Support. Cooperative Work. |
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. |
FSE |
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. |
Distributed Comput. |
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. |
GIS |
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. |
ICPADS |
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. |
CCGRID |
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. |
POMC |
2002 |
DBLP DOI BibTeX RDF |
distributed, consistency, operational transformations |
20 | Michel Raynal |
Sequential consistency as lazy linearizability. |
SPAA |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
post-locking, CSCW, Operational transformation, consistency maintenance, multi-versioning, collaborative editors |
20 | Padmanabhan Krishnan |
Consistency checks for UML. |
APSEC |
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. |
Distributed Comput. |
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. |
IEEE Trans. Knowl. Data Eng. |
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. |
DEXA Workshops |
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. |
ICATPN |
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. |
TIME |
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. |
S&P |
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. |
IEEE Trans. Software Eng. |
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. |
HASE |
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. |
ICPADS |
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. |
IPPS |
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. |
HICSS (1) |
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. |
HICSS (2) |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
WDAG |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
Australian Joint Conference on Artificial Intelligence |
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. |
ISA |
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. |
ISCA |
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. |
ISWC |
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. |
GIS |
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. |
MUE |
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. |
HCI (4) |
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. |
ACM Symposium on Document Engineering |
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. |
Distributed Comput. |
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. |
Int. J. Comput. Vis. |
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. |
NETGAMES |
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. |
CCGRID |
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. |
ACM Trans. Storage |
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. |
PVM/MPI |
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. |
Advances in Computer Entertainment Technology |
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. |
ISPAN |
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. |
Inform. Forsch. Entwickl. |
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. |
ACM Symposium on Document Engineering |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
GROUP |
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. |
J. ACM |
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. |
SAC |
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. |
IEA/AIE |
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. |
Requir. Eng. |
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. |
Distributed Comput. |
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. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
specifications, consistency, requirements, inconsistency |
20 | Anna Mikhajlova |
Consistent Extension of Components in the Presence of Explicit Invariants. |
TOOLS (29) |
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. |
HPCA |
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. |
BNCOD |
1996 |
DBLP DOI BibTeX RDF |
database, consistency, integrity constraints, versions |
20 | Young-Kuk Kim, Sang Hyuk Son |
Supporting predictability in real-time database systems. |
IEEE Real Time Technology and Applications Symposium |
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. |
J. ACM |
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. |
ICECCS |
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. |
J. ACM |
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. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Shant Karakashian, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
Relational consistency by constraint filtering. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Aline Deruyver, Yann Hodé |
Arc-Consistency Checking with Bilevel Constraints: An Optimization. |
GbRPR |
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. |
IWANN (1) |
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. |
DEXA |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Kilho Shin, Xian Ming Xu |
A Consistency-Constrained Feature Selection Algorithm with the Steepest Descent Method. |
MDAI |
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. |
NAS |
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. |
PODC |
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. |
J. Cryptol. |
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. |
Stud Logica |
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. |
IEEE Trans. Inf. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Simon M. Becker, Manfred Nagl, Bernhard Westfechtel |
Incremental and Interactive Integrator Tools for Design Product Consistency. |
Results of the IMPROVE Project |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Rujuan Liu, Changjun Hu, Chongchong Zhao, Zhong Gao |
Verification for Time Consistency of Web Service Flow. |
ACIS-ICIS |
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. |
IDEAL |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yuyu Yin, Jianwei Yin, Ying Li 0001, ShuiGuang Deng |
Verifying Consistency of Web Services Behavior Using Type Theory. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yuyu Yin, Ying Li 0001, ShuiGuang Deng, Wu Jian |
Verifying Consistency of Web Services Behavior. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yiwen Liang, Wenjun Deng |
Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming. |
CSSE (1) |
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. |
FSKD (1) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve |
Length-Lex Bounds Consistency for Knapsack Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Hervé Jégou, Matthijs Douze, Cordelia Schmid |
Hamming Embedding and Weak Geometric Consistency for Large Scale Image Search. |
ECCV (1) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Wei Liu, Songbo Tan, Hongbo Xu, Lihong Wang |
Splog Filtering Based on Writing Consistency. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Shaoning Pang, Ilkka Havukkala, Yingjie Hu, Nikola K. Kasabov |
Classification consistency analysis for bootstrapping gene selection. |
Neural Comput. Appl. |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Neil Evans, Helen Treharne |
Interactive tool support for CSP || B consistency checking. |
Formal Aspects Comput. |
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. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Changrui Yu, Yan Luo |
Term Consistency Checking of Ontology Model Based on Description Logics. |
KSEM |
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. |
MICAI |
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. |
PODS |
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. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jamie Payton, Christine Julien 0001, Gruia-Catalin Roman |
Automatic consistency assessment for query results in dynamic environments. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
query semantics, mobile computing |
19 | Jan Poland |
On the Consistency of Discrete Bayesian Learning. |
STACS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jerzy Blaszczynski, Salvatore Greco, Roman Slowinski, Marcin Szelag |
Monotonic Variable Consistency Rough Set Approaches. |
RSKT |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jing Zhou, Yijie Wang 0001, Sikun Li |
Key-Attributes Based Optimistic Data Consistency Maintenance Method. |
ISPA |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ghalem Belalem, Yahya Slimani |
Consistency Management for Data Grid in OptorSim Simulator. |
MUE |
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. |
ICDCS Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Egyed |
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. |
ICSE |
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. |
AINA |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Yunja Choi |
Checking Interaction Consistency in MARMOT Component Refinements. |
SOFSEM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Tomás Werner |
What is decreased by the max-sum arc consistency algorithm? |
ICML |
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][ >>] |
|