Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Joachim Hertzberg, Hans W. Guesgen, Angi Voß, Manfred Fidelak, Hans Voß |
Relaxing Constraint Networks to Resolve Inconsistencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: Künstliche Intelligenz, GWAI-88, 12. Jahrestagung, Eringerfeld, 19.-23. September 1988, Proceedings, pp. 61-65, 1988, Springer, 3-540-50293-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Bradley H. Dowden |
Accepting inconsistencies from the paradoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 13(2), pp. 125-130, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Pearl Brereton |
Detection and Resolution of Inconsistencies among Distributed Replicates of Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 17(1), pp. 10-15, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Eick, Elfriede Fehr |
Inconsistencies of pure LISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Computer Science ![In: Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings, pp. 101-110, 1983, Springer, 3-540-11973-6. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Donald G. Saari |
Inconsistencies of Weighted Summation Voting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 7(4), pp. 479-490, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Salvadori, Christine Dumont |
Some inconsistencies in programming language implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 14(11), pp. 107-109, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Roger R. Davidson, Robert E. Odeh |
Some Inconsistencies in Judging Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 13(2), pp. 162-169, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
15 | Xiang Lian, Lei Chen 0002, Shaoxu Song |
Consistent query answers in inconsistent probabilistic databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 303-314, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
all-possible-repairs semantics, inconsistent probabilistic database, repair world, repaired possible world, consistent query answering |
15 | Daniel Sinnig, Rabeb Mizouni, Ferhat Khendek |
Bridging the gap: empowering use cases with task models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 291-296, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
use cases, task models, development methodology, user interface development |
15 | Stefan Tolic, Helmut Hlavacs |
A Testbed for P2P Gaming Using Time Warp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Edutainment ![In: Transactions on Edutainment II, pp. 33-47, 2009, Springer, 978-3-642-03269-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Daniele Marzorati, Matteo Matteucci, Davide Migliore, Domenico G. Sorrenti |
On the use of inverse scaling in monocular SLAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 2030-2036, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Guilin Qi, Qiu Ji, Peter Haase 0001 |
A Conflict-Based Operator for Mapping Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 521-536, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Dejian Meng, Stefan Poslad |
A Reflective Goal-Based System for Context-Aware Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILWARE Workshops ![In: Mobile Wireless Middleware, Operating Systems, and Applications - Workshops, Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers, pp. 105-110, 2009, Springer, 978-3-642-03568-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Goal-based, Spatial routing, Adaptation, Context-aware, Reflection |
15 | 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 |
|
15 | Matthias Biehl, Welf Löwe |
Automated Architecture Consistency Checking for Model Driven Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA ![In: Architectures for Adaptive Software Systems, 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings, pp. 36-51, 2009, Springer, 978-3-642-02350-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Qiu Ji, Peter Haase 0001, Guilin Qi, Pascal Hitzler, Steffen Stadtmüller |
RaDON - Repair and Diagnosis in Ontology Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 863-867, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Charalampos Sarigiannis, Vassilis Plachouras, Ricardo Baeza-Yates |
A Study of the Impact of Index Updates on Distributed Query Processing for Web Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009. Proceedings, pp. 595-602, 2009, Springer, 978-3-642-00957-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Reinhard Tartler, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel Lohmann |
Dead or Alive: finding zombie features in the Linux kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOSD ![In: Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009, pp. 81-86, 2009, ACM, 978-1-60558-567-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Linux, language, software product lines, features, tool support, preprocessor |
15 | Helen Petrie, George Papadofragkakis, Christopher Power, David Swallow |
Navigational Consistency in Websites: What Does it Mean to Users? ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (1) ![In: Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I, pp. 423-427, 2009, Springer, 978-3-642-03654-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Websitenavigation, navigational consistency, website usability |
15 | Sally I. McClean, Bryan W. Scotney, Philip J. Morrow, Kieran Greer |
Integrating semantically heterogeneous aggregate views of distributed databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 24(1-3), pp. 73-94, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Aggregate views, Dynamic shared ontologies, Distributed databases, Heterogeneous data |
15 | Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto Weber Vasconcelos |
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics X, pp. 62-95, 2008, Springer, 978-3-540-77687-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Description Logics reasoning, Ontologies |
15 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca |
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECURWARE ![In: Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2008, August 25-31, 2008, Cap Esterel, France, pp. 53-61, 2008, IEEE Computer Society, 978-0-7695-3329-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Olivier Curé |
Data integration for the semantic web with full preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ONISW ![In: Proceedings of the 2nd International Workshop on Ontologies and Information Systems for the Semantic Web, ONISW 2008, Napa Valley, California, USA, October 30, 2008, pp. 61-68, 2008, ACM, 978-1-60558-255-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data integration, knowledge base, schema mapping |
15 | Simon Schenk |
On the Semantics of Trust and Caching in the Semantic Web. ![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. 533-549, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Zhisheng Huang, Frank van Harmelen |
Using Semantic Distances for Reasoning with Inconsistent Ontologies. ![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. 178-194, 2008, Springer, 978-3-540-88563-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Marcelo Finger, Renata Wassermann |
Revising Specifications with CTL Properties Using Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings, pp. 157-166, 2008, Springer, 978-3-540-88189-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model-checking, formal specification, belief revision, CTL |
15 | Kiev Gama, Didier Donsez |
A Practical Approach for Finding Stale References in a Dynamic Service Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings, pp. 246-261, 2008, Springer, 978-3-540-87890-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stale references, dynamic services, runtime diagnostics, component validation, OSGi, memory leaks |
15 | Pragyana Mishra, Eyal Ofek, Gur Kimchi |
Validation of vector data using oblique images. ![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. 23, 2008, ACM, 978-1-60558-323-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-cue integration, oblique image analysis, pixel statistics, machine learning, computer vision, mapping, vector data, conflation |
15 | Luca Genovali, Laura Ricci |
Voronoi models for distributed virtual environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2008 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2008, Madrid, Spain, December 9-12, 2008, pp. 43, 2008, ACM, 978-1-60558-210-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Tadeusz Pankowski |
Reconciling Inconsistent Data in Probabilistic XML Data Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Sharing Data, Information and Knowledge, 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings, pp. 75-86, 2008, Springer, 978-3-540-70503-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yasuhiro Hayase, Yii Yong Lee, Katsuro Inoue |
A criterion for filtering code clone related bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEFECTS ![In: Proceedings of the 2008 Workshop on Defects in Large Software Systems, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), DEFECTS 2008, Seattle, Washington, USA, July 20, 2008, pp. 37-38, 2008, ACM, 978-1-60558-051-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
defect mining, code clone |
15 | Ying-ying Yang, Zongyong Li, Zhi-xue Wang |
Domain Knowledge Consistency Checking for Ontology-Based Requirement Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 302-305, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Christian Meilicke, Johanna Völker, Heiner Stuckenschmidt |
Learning Disjointness for Debugging Mappings between Lightweight Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering: Practice and Patterns, 16th International Conference, EKAW 2008, Acitrezza, Italy, September 29 - October 2, 2008. Proceedings, pp. 93-108, 2008, Springer, 978-3-540-87695-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Natalie Shlomo, Caroline Young |
Invariant Post-tabular Protection of Census Frequency Counts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Privacy in Statistical Databases ![In: Privacy in Statistical Databases, UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey, September 24-26, 2008. Proceedings, pp. 77-89, 2008, Springer, 978-3-540-87470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Invariantprobability transition matrix, Microdata keys, Consistency, Additivity |
15 | Matthias Großmann, Nicola Hönle, Daniela Nicklas, Bernhard Mitschang |
Reference Management in a Loosely Coupled, Distributed Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 12th East European Conference, ADBIS 2008, Pori, Finland, September 5-9, 2008. Proceedings, pp. 81-96, 2008, Springer, 978-3-540-85712-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt |
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings, pp. 178-198, 2008, Springer, 978-3-540-77683-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Lian Yu, Shuang Su, Shan Luo, Yu Su 0007 |
Completeness and Consistency Analysis on Requirements of Distributed Event-Driven Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 241-244, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Completeness and consistency analysis, requirement-related faults, formal scenario model, inconsistency elimination, event-driven systems |
15 | Micah K. Johnson, Hany Farid |
Exposing Digital Forgeries in Complex Lighting Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 2(3-1), pp. 450-461, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Julian Dolby, James Fan, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma 0002, J. William Murdock, Kavitha Srinivas, Christopher A. Welty |
Scalable Cleanup of Information Extraction Data Using Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC/ASWC ![In: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007., pp. 100-113, 2007, Springer, 978-3-540-76297-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Gómez 0001, Javier Montero, Javier Yáñez |
Decomposing Preference Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-5, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Beyer, María Idoia Ruiz-Fuertes, Pablo Galdámez, Francesc D. Muñoz-Escoí |
Exploiting Commutativity for Efficient Replication in Partitionable Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, pp. 1071-1080, 2007, Springer, 978-3-540-76889-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy |
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, Slovenia, pp. 530-535, 2007, IEEE Computer Society, 0-7695-2905-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yue Ma 0009, Pascal Hitzler, Zuoquan Lin |
Algorithms for Paraconsistent Reasoning with OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings, pp. 399-413, 2007, Springer, 978-3-540-72666-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Igor V. Kotenko, Artem Tishkov, Olga Chervatuk, Ekaterina Sidelnikova |
Security Policy Verification Tool for Geographical Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IF&GIS ![In: Third International Workshop on Information Fusion and Geographical Information Systems - IF&GIS'07, St. Petersburg, Russia, May 27-29, 2007. Proceedings, pp. 128-146, 2007, Springer, 978-3-540-37628-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Security, verification, security policy |
15 | Qin Li 0002, Huibiao Zhu, Jifeng He 0001 |
An Inconsistency Free Formalization of B/S Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 75-88, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | José Ghislain Quenum |
A Unification and Delegation Approach to Configure Generic Protocols for Agent Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Silicon Valley, CA, USA, November 2-5, 2007, pp. 281-284, 2007, IEEE Computer Society, 0-7695-3027-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Loreto Bravo, James Cheney, Irini Fundulaki |
Repairing Inconsistent XML Write-Access Control Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, pp. 97-111, 2007, Springer, 978-3-540-75986-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Ulrike Ranger, Thorsten Hermes |
Ensuring Consistency Within Distributed Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 368-382, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Duhong Chen, Oliver Eulenstein, David Fernández-Baca, Michael J. Sanderson |
Minimum-Flip Supertrees: Complexity and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 3(2), pp. 165-173, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
tree assembly, NP-completeness, Phylogenetic tree, supertree |
15 | Steven P. Reiss |
Incremental Maintenance of Software Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(9), pp. 682-697, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Software maintenance, evolution, programming tools |
15 | Lee Pike |
A Note on Inconsistent Axioms in Rushby's "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(5), pp. 347-348, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
time-triggered algorithms, Formal methods, formal verification, PVS, synchronous systems |
15 | Jing Liu 0006, Weicai Zhong, Licheng Jiao |
Comments on "The 1993 DIMACS graph coloring Challenge" and "Energy function-based approaches to graph Coloring". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 17(2), pp. 533, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Corrêa Victorino, Patrick Rives |
SLAM with consistent mapping in an hybrid model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 3575-3580, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Dingliang Liang, Paul Boustead |
Using local lag and timewarp to improve performance for real life multi-player online 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. 37, 2006, ACM, 1-59593-589-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
local lag, quake 3, timewarp, consistency, networked games, paradox |
15 | Victor Milenkovic, Elisha Sacks |
An approximate arrangement algorithm for semi-algebraic curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 22nd ACM Symposium on Computational Geometry, Sedona, Arizona, USA, June 5-7, 2006, pp. 237-246, 2006, ACM, 1-59593-340-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
robust computational geometry, arrangements |
15 | Marcela Campo, Alejandro A. Vaisman |
Consistency of Temporal XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSym ![In: Database and XML Technologies, 4th International XML Database Symposium,XSym 2006, Seoul, Korea, September 10-11, 2006, Proceedings, pp. 31-45, 2006, Springer, 3-540-38877-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Phuc-Hiep Luong, Rose Dieng-Kuntz |
A Rule-based Approach for Semantic Annotation Evolution in the CoSWEM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWWS ![In: Canadian Semantic Web, CSWWS 2006, first Canadian Semantic Web Working Symposium, June 2006, Quebec, Canada, pp. 103-120, 2006, Springer, 978-0-387-29815-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Orest Pilskalns, Gunay Uyan, Anneliese Amschler Andrews |
Regression Testing UML Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 254-264, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh |
A Rigorous Approach to Requirements Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 236-245, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | G. Murali Krishna |
Requirements Modeling -- Experience from an Insurance Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 157-166, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Gregory de Fombelle, Xavier Blanc 0001, Laurent Rioux, Marie-Pierre Gervais |
Finding a Path to Model Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 2nd European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings, pp. 101-112, 2006, Springer, 3-540-35909-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jörg Zettel |
Methodology Support in CASE Tools and Its Impact on Individual Acceptance and Use: A Controlled Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 10(3), pp. 367-394, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
methodology support, consistency assurance, process modelling, Computer-aided software engineering, technology acceptance |
15 | Leonid Kof |
Natural Language Processing: Mature Enough for Requirements Documents Analysis? ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005, Proceedings, pp. 91-102, 2005, Springer, 3-540-26031-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Johan Muskens, Reinder J. Bril, Michel R. V. Chaudron |
Generalizing Consistency Checking between Software Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, USA, pp. 169-180, 2005, IEEE Computer Society, 0-7695-2548-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Vivek Ramachandran, Sukumar Nandi |
Detecting ARP Spoofing: An Active Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: Information Systems Security, First International Conference, ICISS 2005, Kolkata, India, December 19-21, 2005, Proceedings, pp. 239-250, 2005, Springer, 3-540-30706-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Deepali Kholkar, G. Murali Krishna, Ulka Shrotri, R. Venkatesh 0001 |
Visual specification and analysis of use cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2005 Symposium on Software Visualization, St. Louis, Missouri, USA, May 14-15, 2005, pp. 77-85, 2005, ACM, 1-59593-073-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
visual notation, model checking, UML, requirements |
15 | Dimitri Theodoratos, Theodore Dalamagas 0001 |
Querying Tree-Structured Data Using Dimension Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings, pp. 201-215, 2005, Springer, 3-540-26095-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Handan Gül Çalikli, M. Ufuk Çaglayan |
A Formal Policy Specification Language for an 802.11 WLAN with Enhanced Security Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: Computer and Information Sciences - ISCIS 2005, 20th International Symposium, Istanbul, Turkey, October 26-28, 2005, Proceedings, pp. 183-192, 2005, Springer, 3-540-29414-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Administrative Domain, 802.11 Wireless Local Area Network (WLAN), Mobadtl, Security Policy |
15 | Mario Paolucci, Jordi Sabater, Rosaria Conte |
"What if?" Dealing with uncertainity in Repage's mental landscape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Compiegne, France, September 19-22, 2005, pp. 372-378, 2005, IEEE Computer Society, 0-7695-2416-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Marc-Antoine Drouin, Martin Trudeau, Sébastien Roy 0001 |
Geo-Consistency for Wide Multi-Camera Stereo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 20-26 June 2005, San Diego, CA, USA, pp. 351-358, 2005, IEEE Computer Society, 0-7695-2372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Matheus |
How to Declare Access Control Policies for XML Structured Information Objects using OASIS' eXtensible Access Control Markup Language (XACML). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Ahmed Gomaa, Nabil R. Adam, Vijayalakshmi Atluri |
Color Time Petri Net for Interactive Adaptive Multimedia Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMM ![In: 11th International Conference on Multi Media Modeling (MMM 2005), 12-14 January 2005, Melbourne, Australia, pp. 147-157, 2005, IEEE Computer Society, 0-7695-2164-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Shiva Nejati |
Formal support for merging and negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 456-460, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
3-valued logic, inconsistency detection, model checking, refinement, negotiation, model merging |
15 | Steven P. Reiss |
Incremental Maintenance of Software Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 21st IEEE International Conference on Software Maintenance (ICSM 2005), 25-30 September 2005, Budapest, Hungary, pp. 113-122, 2005, IEEE Computer Society, 0-7695-2368-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Anarosa Brandão, Viviane Torres da Silva, Carlos José Pereira de Lucena |
A knowledge-based approach to the specification and verification of MAS design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1373, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ontology, multi-agent systems, design verification |
15 | Eva Cogan, Simon Parsons, Peter McBurney |
What kind of argument are we going to have today? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 544-551, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
argumentation, agent communication, dialogue games |
15 | Martin J. Kollingbaum, Timothy J. Norman |
Informed Deliberation During Norm-Governed Practical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS Workshops ![In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers, pp. 183-197, 2005, Springer, 3-540-35173-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | George Spanoudakis, Hyoseob Kim |
Supporting the reconciliation of models of object behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(4), pp. 273-293, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Software design models, Object interaction diagrams, Consistency management |
15 | Martin Mauve, Jürgen Vogel 0001, Volker Hilt, Wolfgang Effelsberg |
Local-lag and timewarp: providing consistency for replicated continuous applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 6(1), pp. 47-57, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Lan Wang, Daniel Massey, Keyur Patel, Lixia Zhang 0001 |
FRTR: A Scalable Mechanism for Global Routing Table Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 465-474, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bill Mitchell |
Inherent Causal Orderings of Partial Order Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 113-127, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Luís Miguel Pinho, Francisco Vasques |
Reliable Real-Time Communication in CAN Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 52(12), pp. 1594-1607, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
real-time systems, Communication protocols, fault-tolerant systems, controller area network |
15 | Sally I. McClean, Bryan W. Scotney, Kieran Greer |
A Scalable Approach to Integrating Heterogeneous Aggregate Views of Distributed Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(1), pp. 232-235, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
aggregate views, Kullback-Leibler information divergence, Distributed databases, dynamic ontologies |
15 | Giuseppe A. Di Lucca, Massimiliano Di Penta |
Considering Browser Interaction in Web Application Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSE ![In: 5th International Workshop on Web Site Evolution (WSE 2003) - Architecture, 22 September 2003, Amsterdam, The Netherlands, pp. 74-, 2003, IEEE Computer Society, 0-7695-2016-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Software testing, Web application testing, State-based testing |
15 | Håkan Sivencrona, Per Johannessen, Mattias Persson, Jan Torin |
Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings, pp. 69-80, 2003, Springer, 3-540-20224-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Pierre Courtiat |
Formal Design of Interactive Multimedia Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, pp. 351-366, 2003, Springer, 3-540-20175-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Reiko Heckel |
Open Petri Nets as Semantic Model for Workflow Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Net Technology for Communication-Based Systems ![In: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, pp. 281-294, 2003, Springer, 3-540-20538-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Dui, Wolfgang Emmerich, Christian Nentwich, Bryan Thal |
Consistency Checking of Financial Derivatives Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetObjectDays ![In: Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers, pp. 166-183, 2002, Springer, 3-540-00737-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Öznur Özkasap |
Large-Scale Behavior of End-to-End Epidemic Message Loss Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QofIS ![In: From QoS Provisioning to QoS Charging, Third COST 263 International Workshop on Quality of Future Internet Services, QofIS 2002, and Second International Workshop on Internet Charging and QoS Technologies, ICQT 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings, pp. 25-35, 2002, Springer, 3-540-44356-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
epidemic communication, scalable multicast, Bimodal Multicast, loss recovery, end-to-end protocols |
15 | Sunita Sarawagi, Anuradha Bhamidipaty |
Interactive deduplication using active learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, July 23-26, 2002, Edmonton, Alberta, Canada, pp. 269-278, 2002, ACM, 1-58113-567-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Susan Weissman Lauzac, Panos K. Chrysanthis |
View Propagation and Inconsistency Detection for Cooperative Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 107-124, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
Adaptive Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 357-370, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Learning Algorithms, Automatic Verification, Black Box Testing |
15 | Ghassan Beydoun |
An OO Model for Incremental Hierarchical KA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 13th International Conference, EKAW 2002, Siguenza, Spain, October 1-4, 2002, Proceedings, pp. 14-20, 2002, Springer, 3-540-44268-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Rasool Jalili, Mohsen Rezvani |
Specification and Verification of Security Policies in Firewalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EurAsia-ICT ![In: EurAsia-ICT 2002: Information and Communication Technology, First EurAsian Conference, Shiraz, Iran, October 29-31, 2002, Proceedings, pp. 154-163, 2002, Springer, 3-540-00028-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Formal Specification, Security Policy, Firewall |
15 | Andrés Silva |
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA, pp. 94-104, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Frank C. Langbein, A. David Marshall, Ralph R. Martin |
Numerical Methods for Beautification of Reverse Engineered Geometric Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: 2002 Geometric Modeling and Processing (GMP 2002), Theory and Applications, 10-12 July 2002, Wako, Saitama, Japan, pp. 159-168, 2002, IEEE Computer Society, 0-7695-1674-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Numerical Constraint Solver, Reverse Engineering, Geometric Constraints, Beautification |
15 | Duhong Chen, Oliver Eulenstein, David Fernández-Baca, Michael J. Sanderson |
Supertrees by Flipping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings, pp. 391-400, 2002, Springer, 3-540-43996-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Luís Miguel Pinho, Francisco Vasques |
Timing Analysis of Reliable Real-Time Communication in CAN Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings, pp. 103-116, 2001, IEEE Computer Society, 0-7695-1221-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Jürgen Vogel 0001, Martin Mauve |
Consistency control for distributed interactive media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30 - October 5, 2001, pp. 221-230, 2001, ACM, 1-58113-394-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
RTP/I, distributed interactive media, intention conflict, local lag, mlb, timewarp, consistency, late join |