Search results for "inconsistencies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Javier Cubo, Michele Sama, Franco Raimondi, David S. Rosenblum	A Model to Design and Verify Context-Aware Adaptive Service Composition.	IEEE SCC	2009	DBLP DOI BibTeX RDF
8	Yefim Haim Michlin, Lyubov Meshkov, Irit Grunin	Improvement on "Sequential Testing" in MIL-HDBK-781A and IEC 61124.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
8	Mohamed El-Attar 0001, James Miller 0001	Producing robust use case diagrams via reverse engineering of use case descriptions.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF
8	Frederic Montagut, Refik Molva	Bridging Security and Fault Management within Distributed Workflow Management Systems.	IEEE Trans. Serv. Comput.	2008	DBLP DOI BibTeX RDF
8	Z. Husain, Izhar Ahmad	Note on Mond-Weir type nondifferentiable second order symmetric duality.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Nondifferentiable programming, Second order symmetric duality, Multiobjective programming
8	Gang Chen 0002, Chor Ping Low, Zhonghua Yang	Coordinated Services Provision in Peer-to-Peer Environments.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Federated Service Providing System, Policy-driven decision-making, Coordination, P2P System
8	Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, William W. Pugh	Using Static Analysis to Find Bugs.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
8	Dominic Schuhmacher, Ba-Tuong Vo, Ba-Ngu Vo	A Consistent Metric for Performance Evaluation of Multi-Object Filters.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
8	Lakshmi N. Bairavasundaram, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Garth R. Goodson, Bianca Schroeder	An analysis of data corruption in the storage stack.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	disk drive reliability, Data corruption
8	Ashwin Swaminathan, Min Wu 0001, K. J. Ray Liu	Digital Image Forensics via Intrinsic Fingerprints.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
8	Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex	Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Mendelian genotyping error detection, Complex pedigrees, Weighted constraint satisfaction, Genetics
8	Stefan Gruner	From use cases to test cases via meta model-based reasoning.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Prolog, Use cases, Meta model, Test cases
8	Amin Katouzian, S. Sathyanarayana, Babak Baseri, Elisa E. Konofagou, Stephane G. Carlier	Challenges in Atherosclerotic Plaque Characterization With Intravascular Ultrasound (IVUS): From Data Collection to Classification.	IEEE Trans. Inf. Technol. Biomed.	2008	DBLP DOI BibTeX RDF
8	Florent Ségonne	Active Contours Under Topology Control - Genus Preserving Level Sets.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	Geometric deformable model, Genus preservation, Topology control, Active contours, Level set method, Digital topology, Simple points, Topological constraint
8	Charles Han, Eric Risser, Ravi Ramamoorthi, Eitan Grinspun	Multiscale texture synthesis.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
8	Michael Johnson	Mathematical Support for Ensemble Engineering.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF	Ensemble engineering, inconsistency analysis, category theory, universal algebra
8	Graeme Smith	Extending Formal Methods for Software-Intensive Systems.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
8	Janusz Kacprzyk, Slawomir Zadrozny, Mario Fedrizzi, Hannu Nurmi	On Group Decision Making, Consensus Reaching, Voting and Voting Paradoxes under Fuzzy Preferences and a Fuzzy Majority: A Survey and some Perspectives.	Fuzzy Sets and Their Extensions: Representation, Aggregation and Models	2008	DBLP DOI BibTeX RDF	Fuzzy majority, Fuzzy logic, Consensus, Group decision making, Social choice, Linguistic quantifier, Fuzzy preference relation
8	Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia Lawall	Software Architecture Evolution.	Software Evolution	2008	DBLP DOI BibTeX RDF
8	Sean Thompson, Torab Torabi	Towards Formalizing Resource Based Non-conformance in Business.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	process resources, process non-conformance detection, resource non-conformance detection, process deviation, process improvement
8	Matthew Grum, Adrian G. Bors	Multiple image disparity correction for 3-D scene representation.	ICIP	2008	DBLP DOI BibTeX RDF
8	Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen 0027, Jianhua Zhao	Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.	HASE	2008	DBLP DOI BibTeX RDF
8	Hakim Belhaouari, Frédéric Peschanski	Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach.	HASE	2008	DBLP DOI BibTeX RDF
8	Ana Maria Funes, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Hierarchical Distance-Based Conceptual Clustering.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF	hierarchical clustering, distances, generalisation, conceptual clustering
8	Stavroula Papadopoulou, Claudia-Lavinia Ignat, Gérald Oster, Moira C. Norrie	Intra/Inter-document Change Awareness for Co-authoring of Web Sites.	WISE	2008	DBLP DOI BibTeX RDF
8	Chuanming Jing, Zhiliang Wang, Xia Yin, Jianping Wu	A Formal Approach to Robustness Testing of Network Protocol.	NPC	2008	DBLP DOI BibTeX RDF
8	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca	Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.	SECURWARE	2008	DBLP DOI BibTeX RDF
8	Sang Su Lee, Dongwoo Won, Dennis McLeod	Tag-geotag correlation in social networks.	SSM	2008	DBLP DOI BibTeX RDF	power law for correlation among tagging and geotagging, clustering, tagging, geotagging
8	Shusaku Tsumoto, Shoji Hirano	Fuzziness from attribute generalization in information table.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
8	Vadim Shapiro	Homotopy Conditions for Tolerant Geometric Queries.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
8	Neil F. Stewart, Malika Zidani	Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling.	Reliable Implementation of Real Number Algorithms	2008	DBLP DOI BibTeX RDF
8	Yizhar Or, Elon Rimon	On the hybrid dynamics of planar mechanisms supported by frictional contacts. I: necessary conditions for stability.	ICRA	2008	DBLP DOI BibTeX RDF
8	Giorgio Grisetti, Dario Lodi Rizzini, Cyrill Stachniss, Edwin Olson, Wolfram Burgard	Online constraint network optimization for efficient maximum likelihood map learning.	ICRA	2008	DBLP DOI BibTeX RDF
8	Daniel Le Métayer, Claire Loiseaux	ASTRA : A Security Analysis Method Based on Asset Tracking.	SEC	2008	DBLP DOI BibTeX RDF
8	Olivier Curé, Jean-David Bensaid	Integration of relational databases into OWL knowledge bases: demonstration of the DBOM system.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
8	Marios Hadjieleftheriou, Amit Chandel, Nick Koudas, Divesh Srivastava	Fast Indexes and Algorithms for Set Similarity Selection Queries.	ICDE	2008	DBLP DOI BibTeX RDF
8	Loreto Bravo, Wenfei Fan, Floris Geerts, Shuai Ma 0001	Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity.	ICDE	2008	DBLP DOI BibTeX RDF
8	Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt	Rule-Based Approaches for Representing Probabilistic Ontology Mappings.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
8	Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney	Argumentation and Artifact for Dialogue Support.	ArgMAS	2008	DBLP DOI BibTeX RDF
8	Corrado Guarino Lo Bianco, Oscar Gerelli	An alternative model for the evaluation of tyre shear forces under steady-state conditions.	IROS	2008	DBLP DOI BibTeX RDF
8	Petra Heck, Päivi Parviainen	Experiences on Analysis of Requirements Quality.	ICSEA	2008	DBLP DOI BibTeX RDF
8	Hidetake Uwano, Akito Monden, Ken-ichi Matsumoto	DRESREM 2: An Analysis System for Multi-document Software Review Using Reviewers' Eye Movements.	ICSEA	2008	DBLP DOI BibTeX RDF
8	Elizabeth Jurrus, Ross T. Whitaker, Bryan W. Jones, Robert Marc, Tolga Tasdizen	An optimal-path approach for neural circuit reconstruction.	ISBI	2008	DBLP DOI BibTeX RDF
8	George Russell, Alastair F. Donaldson, Paul Sheppard	Tackling online game development problems with a novel network scripting language.	NETGAMES	2008	DBLP DOI BibTeX RDF	distributed games, concurrency, computer games
8	Bruno Martins 0001, Nuno Freire 0001, José Borbinha	Complex Data Transformations in Digital Libraries with Spatio-Temporal Information.	ICADL	2008	DBLP DOI BibTeX RDF	XML, interoperability, data integration, spatio-temporal reasoning
8	Kedian Mu, Zhi Jin, Didar Zowghi	A Measurement-Driven Process Model for Managing Inconsistent Software Requirements.	APSEC	2008	DBLP DOI BibTeX RDF
8	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca	Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets.	ARES	2008	DBLP DOI BibTeX RDF	consistency, diagnosis, firewall, conflict, acl, rule set
8	Magiel Bruntink	Reengineering Idiomatic Exception Handling in Legacy C Code.	CSMR	2008	DBLP DOI BibTeX RDF
8	Richard C. Hendriks, Jan S. Erkelens, Richard Heusdens	Comparison of complex-DFT estimators with and without the independence assumption of real and imaginary parts.	ICASSP	2008	DBLP DOI BibTeX RDF
8	Ansuman Banerjee, Kausik Datta, Pallab Dasgupta	CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications.	ATVA	2008	DBLP DOI BibTeX RDF
8	JunFeng Wu, HuaiKou Miao	A Rewriting Logic Approach to OWL-S Composite Process Formal Specification.	APSCC	2008	DBLP DOI BibTeX RDF
8	Narasimha Bolloju, Sherry Xiaoyun Sun	Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications.	ER Workshops	2008	DBLP DOI BibTeX RDF	quality requirements specifications, activity diagrams, Use case models
8	Bin Lei, Linzhang Wang, Xuandong Li	UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency.	ICST	2008	DBLP DOI BibTeX RDF	race condition, UML activity diagram
8	Xuhui Liu, Guoliang Li 0001, Jianhua Feng, Lizhu Zhou	Effective Indices for Efficient Approximate String Search and Similarity Join.	WAIM	2008	DBLP DOI BibTeX RDF
8	Paolo Ceravolo, Ernesto Damiani, Marcello Leida	Ontology Robustness in Evolution.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Migration of Instances, Ontology Evolution, Ontology Construction
8	Haibin Cheng, Pang-Ning Tan	Semi-supervised learning with data calibration for long-term time series forecasting.	KDD	2008	DBLP DOI BibTeX RDF	semi-supervised learning, time series prediction
8	Eno Thereska, Gregory R. Ganger	Ironmodel: robust performance models in the wild.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	what-if, management, behavioral modeling, active probing
8	Alberto Anguita, David Pérez-Rey, José Crespo, Victor Maojo	Automatic Generation of Integration and Preprocessing Ontologies for Biomedical Sources in a Distributed Scenario.	CBMS	2008	DBLP DOI BibTeX RDF	Ontologies, Integration, KDD, Preprocessing
8	Aurona Gerber, Alta van der Merwe, Andries Barnard	A Functional Semantic Web Architecture.	ESWC	2008	DBLP DOI BibTeX RDF	Semantic Web Architecture, Software Engineering, System Architecture, Layered Architecture
8	Adrián Siles, Angel López-Cima, Óscar Corcho, Asunción Gómez-Pérez	ODEWiki: A Semantic Wiki That Interoperates with the ODESeW Semantic Portal.	ESWC	2008	DBLP DOI BibTeX RDF	ODEWiki, Semantic Wiki
8	Xiaochun Yang 0001, Bin Wang 0015, Chen Li 0001	Cost-based variable-length-gram selection for string collections to support approximate queries efficiently.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	approximate string query, gram selection, vgram
8	Eric Knauss, Daniel Lübke	Using the Friction between Business Processes and Use Cases in SOA Requirements.	COMPSAC	2008	DBLP DOI BibTeX RDF	User Interface, SOA, Requirements, Business Process, Use Case
8	Zongtao Zhao, Jun Wei 0001, Li Lin, Xiaoning Ding	A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity.	COMPSAC	2008	DBLP DOI BibTeX RDF
8	Jaap Boender, Roberto Di Cosmo, Jérôme Vouillon, Berke Durak, Fabio Mancinelli	Improving the Quality of GNU/Linux Distributions.	COMPSAC	2008	DBLP DOI BibTeX RDF
8	Fahim T. Imam, Wendy MacCaull	Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	multi-valued logic, Ontology integration, paraconsistency
8	Norman May, Ingo Weber	Information Gathering for Semantic Service Discovery and Composition in Business Process Modeling.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	Semantic Business Process Management - Web Service Discovery & Composition
8	Wenfei Fan	Dependencies revisited for improving data quality.	PODS	2008	DBLP DOI BibTeX RDF	dependency, data quality
8	Anders Hessellund, Peter Sestoft	Flow Analysis of Code Customizations.	ECOOP	2008	DBLP DOI BibTeX RDF
8	Antonio Coronato, Massimo Esposito	Towards an Implementation of Smart Hospital: A Localization System for Mobile Users and Devices.	PerCom	2008	DBLP DOI BibTeX RDF
8	Johanna Vompras, Thomas Scholz, Stefan Conrad 0001	Extracting contextual information from multiuser systems for improving annotation-based retrieval of image data.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	personalized retrieval, semantic image annotation, image retrieval
8	Michele Sama, David S. Rosenblum, Zhimin Wang, Sebastian G. Elbaum	Model-based fault detection in context-aware adaptive applications.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	model-based analysis, mobile computing, ubiquitous computing, adaptation, context-awareness, fault detection, hazards
8	Anna Cinzia Squicciarini, Alexei Czeskis, Abhilasha Bhargav-Spantzel	Privacy policies compliance across digital identity management systems.	SPRINGL	2008	DBLP DOI BibTeX RDF	privacy, tracing, digital identity
8	Xi Wang 0005, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang 0001	Conditional correlation analysis for safe region-based memory management.	PLDI	2008	DBLP DOI BibTeX RDF	conditional correlation, program analysis, memory management, error detection, region
8	Yuan Li, Hiroyuki Kitagawa	Example-Based Robust DB-Outlier Detection for High Dimensional Data.	DASFAA	2008	DBLP DOI BibTeX RDF	DB-Outlier, Outlier, High-dimensional Data, Example
8	Eric Kee, Hany Farid	Printer profiling for forensics and ballistics.	MM&Sec	2008	DBLP DOI BibTeX RDF	document authentication, printer ballistics, digital forensics, digital tampering
8	Yvonne Moh, Wolfgang Einhäuser, Joachim M. Buhmann	Automatic Detection of Learnability under Unreliable and Sparse User Feedback.	DAGM-Symposium	2008	DBLP DOI BibTeX RDF
8	Alva L. Couch, Marc Chiarini	Dynamic Consistency Analysis for Convergent Operators. (PDF / PS)	AIMS	2008	DBLP DOI BibTeX RDF
8	Gerald Steinbauer, Franz Wotawa	Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	dynamic domains, diagnosis, autonomous robot, model-based reasoning, plan execution
8	Huy Tran, Uwe Zdun, Schahram Dustdar	View-Based Reverse Engineering Approach for Enhancing Model Interoperability and Reusability in Process-Driven SOAs.	ICSR	2008	DBLP DOI BibTeX RDF
8	Lionel Daniel	Haziness for Common Sensical Inference from Uncertain and Inconsistent Linear Knowledge Base.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
8	Maria Moloney, Frank Bannister	Online Privacy: Measuring Individuals' Concerns.	EC-Web	2008	DBLP DOI BibTeX RDF	Internet, Privacy, Trust, Information Systems, Data Security
8	Min Jiang 0005, Changle Zhou, Fan Zhang, Shu Chen	Interpretation, Transformation and Model Checking of Semi-formal Diagram Notations.	CSSE (2)	2008	DBLP DOI BibTeX RDF
8	Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis	Implementation of the Conformance Relation for Incremental Development of Behavioural Models.	MoDELS	2008	DBLP DOI BibTeX RDF
8	Stefanie Jahner, Jan Marco Leimeister, Uta Franziska Knebel, Helmut Krcmar	A Cross-Cultural Comparison of Perceived Strategic Importance of RFID for CIOs in Germany and Italy.	HICSS	2008	DBLP DOI BibTeX RDF
8	Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase 0001	A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.	ASWC	2008	DBLP DOI BibTeX RDF
8	Xiaodong Zhu, Zhiqiu Huang, Guohua Shen	Description Logic Based Consistency Checking upon Data Mining Metadata.	RSKT	2008	DBLP DOI BibTeX RDF	Data mining, Metadata, Knowledge representation, Automated reasoning, Consistency checking
8	Mikel Egaña, Alan L. Rector, Robert Stevens 0001, Erick Antezana	Applying Ontology Design Patterns in Bio-ontologies.	EKAW	2008	DBLP DOI BibTeX RDF
8	Alexandre Papadopoulos, Barry O'Sullivan	Relaxations for Compiled Over-Constrained Problems.	CP	2008	DBLP DOI BibTeX RDF
8	Jan Maluszynski, Andrzej Szalas, Aida Vitória	Paraconsistent Logic Programs with Four-Valued Rough Sets.	RSCTC	2008	DBLP DOI BibTeX RDF
8	Xiaomei Hu, Wenhua Zhu, Tao Yu	A New Consistency Maintenance Algorithm based on Prediction and Compensation Scheme in CVE Systems.	ICNSC	2008	DBLP DOI BibTeX RDF
8	Antonis Bikakis, Grigoris Antoniou	Local and Distributed Defeasible Reasoning in Multi-Context Systems.	RuleML	2008	DBLP DOI BibTeX RDF
8	Xavier Blanc 0001, Isabelle Mounier, Alix Mougenot, Tom Mens	Detecting model inconsistency through operation-based model construction.	ICSE	2008	DBLP DOI BibTeX RDF	model, consistency, logic, meta-model
8	Uwe Zdun, Paris Avgeriou, Carsten Hentrich, Schahram Dustdar	Architecting as decision making with patterns and primitives.	SHARK	2008	DBLP DOI BibTeX RDF	software patterns, architectural patterns, architectural decisions
8	Tallat M. Shafaat, Thorsten Schütt, Monika Moser, Seif Haridi, Ali Ghodsi 0002, Alexander Reinefeld	Key-based consistency and availability in structured overlay networks.	HPDC	2008	DBLP DOI BibTeX RDF	key-availability, lookup consistency, peer-to-peer systems, structured overlay networks
8	Ludovic Cottret, Paulo Vieira Milreu, Vicente Acuña, Alberto Marchetti-Spaccamela, Fábio Viduani Martinez, Marie-France Sagot, Leen Stougie	Enumerating Precursor Sets of Target Metabolites in a Metabolic Network.	WABI	2008	DBLP DOI BibTeX RDF
8	Chris W. Johnson 0001	Complexity, Structured Chaos and the Importance of Information Management for Mobile Computing in the UK Floods of 2007.	Mobile Response	2008	DBLP DOI BibTeX RDF	national critical infrastructures, mobile devices, accident analysis
8	Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans	An Executable Interface Specification for Industrial Embedded System Design.	QSIC	2008	DBLP DOI BibTeX RDF
8	Yacine Atif, Mohamed Adel Serhani, Piers Campbell, Sujith Samuel Mathew	Trusted Translation Services.	CollaborateCom	2008	DBLP DOI BibTeX RDF
8	André Herms, Georg Lukas	Preventing admission failures of bandwidth reservation in wireless mesh networks.	AICCSA	2008	DBLP DOI BibTeX RDF
8	Stefan Brüggemann	Rule Mining for Automatic Ontology Based Data Cleaning.	APWeb	2008	DBLP DOI BibTeX RDF