|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1139 occurrences of 821 keywords
|
|
|
Results
Found 1643 publication records. Showing 1643 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, pp. 184-191, 2009, IEEE Computer Society, 978-0-7695-3811-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yefim Haim Michlin, Lyubov Meshkov, Irit Grunin |
Improvement on "Sequential Testing" in MIL-HDBK-781A and IEC 61124. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 57(2), pp. 379-387, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(1), pp. 67-83, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Frederic Montagut, Refik Molva |
Bridging Security and Fault Management within Distributed Workflow Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 1(1), pp. 33-48, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Z. Husain, Izhar Ahmad |
Note on Mond-Weir type nondifferentiable second order symmetric duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 2(4), pp. 599-604, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(4), pp. 433-446, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 25(5), pp. 22-29, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Dominic Schuhmacher, Ba-Tuong Vo, Ba-Ngu Vo |
A Consistent Metric for Performance Evaluation of Multi-Object Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(8-1), pp. 3447-3457, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 4(3), pp. 8:1-8:28, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 3(1), pp. 101-117, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 13(1-2), pp. 130-154, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 223-231, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 12(3), pp. 315-327, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Florent Ségonne |
Active Contours Under Topology Control - Genus Preserving Level Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 79(2), pp. 107-117, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(3), pp. 51, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Michael Johnson |
Mathematical Support for Ensemble Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software-Intensive Systems and New Computing Paradigms ![In: Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, pp. 179-189, 2008, Springer, 978-3-540-89436-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ensemble engineering, inconsistency analysis, category theory, universal algebra |
8 | Graeme Smith |
Extending Formal Methods for Software-Intensive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software-Intensive Systems and New Computing Paradigms ![In: Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, pp. 146-161, 2008, Springer, 978-3-540-89436-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets and Their Extensions: Representation, Aggregation and Models ![In: Fuzzy Sets and Their Extensions: Representation, Aggregation and Models - Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision, pp. 263-295, 2008, Springer, 978-3-540-73722-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Evolution ![In: Software Evolution, pp. 233-262, 2008, Springer, 978-3-540-76439-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Sean Thompson, Torab Torabi |
Towards Formalizing Resource Based Non-conformance in Business. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 19th Australian Software Engineering Conference (ASWEC 2008), March 25-28, 2008, Perth, Australia, pp. 209-218, 2008, IEEE Computer Society, 978-0-7695-3100-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 209-212, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 487-490, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008, pp. 219-228, 2008, IEEE Computer Society, 978-0-7695-3482-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (1) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML/PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I, pp. 349-364, 2008, Springer, 978-3-540-87478-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings, pp. 90-105, 2008, Springer, 978-3-540-85480-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Chuanming Jing, Zhiliang Wang, Xia Yin, Jianping Wu |
A Formal Approach to Robustness Testing of Network Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing, IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings, pp. 24-37, 2008, Springer, 978-3-540-88139-1. The full citation details ...](Pics/full.jpeg) |
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. ![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. 381-390, 2008, IEEE Computer Society, 978-0-7695-3329-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Sang Su Lee, Dongwoo Won, Dennis McLeod |
Tag-geotag correlation in social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSM ![In: Proceeding of the 2008 ACM Workshop on Search in Social Media, SSM 2008, Napa Valley, California, USA, October 30, 2008, pp. 59-66, 2008, ACM, 978-1-60558-258-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008, pp. 455-461, 2008, IEEE Computer Society, 978-1-4244-2538-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Vadim Shapiro |
Homotopy Conditions for Tolerant Geometric Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 162-180, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Neil F. Stewart, Malika Zidani |
Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 181-192, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 1213-1218, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 1880-1885, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Daniel Le Métayer, Claire Loiseaux |
ASTRA : A Security Analysis Method Based on Asset Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: Proceedings of The IFIP TC-11 23rd International Information Security Conference, IFIP 20th World Computer Congress, IFIP SEC 2008, September 7-10, 2008, Milano, Italy, pp. 541-555, 2008, Springer, 978-0-387-09698-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Olivier Curé, Jean-David Bensaid |
Integration of relational databases into OWL knowledge bases: demonstration of the DBOM system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 24th International Conference on Data Engineering Workshops, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 230-233, 2008, IEEE Computer Society, 978-1-4244-2161-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Marios Hadjieleftheriou, Amit Chandel, Nick Koudas, Divesh Srivastava |
Fast Indexes and Algorithms for Set Similarity Selection Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 267-276, 2008, IEEE Computer Society, 978-1-4244-1836-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 516-525, 2008, IEEE Computer Society, 978-1-4244-1836-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt |
Rule-Based Approaches for Representing Probabilistic Ontology Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
URSW (LNCS Vol.) ![In: Uncertainty Reasoning for the Semantic Web I, ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers, pp. 66-87, 2008, Springer, 978-3-540-89764-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers, pp. 107-121, 2008, Springer, 978-3-642-00206-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 1983-1989, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Petra Heck, Päivi Parviainen |
Experiences on Analysis of Requirements Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Third International Conference on Software Engineering Advances, ICSEA 2008, October 26-31, 2008, Sliema, Malta, pp. 367-372, 2008, IEEE Computer Society, 978-0-7695-3372-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Third International Conference on Software Engineering Advances, ICSEA 2008, October 26-31, 2008, Sliema, Malta, pp. 177-183, 2008, IEEE Computer Society, 978-0-7695-3372-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2008 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Paris, France, May 14-17, 2008, pp. 1609-1612, 2008, IEEE, 978-1-4244-2003-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | George Russell, Alastair F. Donaldson, Paul Sheppard |
Tackling online game development problems with a novel network scripting language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 7th ACM SIGCOMM Workshop on Network and System Support for Games, NETGAMES 2008, Worcester, Massachusetts, USA, October 21-22, 2008, pp. 85-90, 2008, ACM, 978-1-60558-132-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICADL ![In: Digital Libraries: Universal and Ubiquitous Access to Information, 11th International Conference on Asian Digital Libraries, ICADL 2008, Bali, Indonesia, December 2-5, 2008. Proceedings, pp. 174-183, 2008, Springer, 978-3-540-89532-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 291-298, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca |
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 229-236, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
consistency, diagnosis, firewall, conflict, acl, rule set |
8 | Magiel Bruntink |
Reengineering Idiomatic Exception Handling in Legacy C Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 12th European Conference on Software Maintenance and Reengineering, CSMR 2008, April 1-4, 2008, Athens, Greece, pp. 133-142, 2008, IEEE Computer Society, 978-1-4244-2157-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 4033-4036, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 228-233, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | JunFeng Wu, HuaiKou Miao |
A Rewriting Logic Approach to OWL-S Composite Process Formal Specification. ![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. 343-348, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings, pp. 144-153, 2008, Springer, 978-3-540-87990-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 200-209, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: The Ninth International Conference on Web-Age Information Management, WAIM 2008, July 20-22, 2008, Zhangjiajie, China, pp. 127-134, 2008, IEEE Computer Society, 978-0-7695-3185-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Paolo Ceravolo, Ernesto Damiani, Marcello Leida |
Ontology Robustness in Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 1010-1017, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Las Vegas, Nevada, USA, August 24-27, 2008, pp. 133-141, 2008, ACM, 978-1-60558-193-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semi-supervised learning, time series prediction |
8 | Eno Thereska, Gregory R. Ganger |
Ironmodel: robust performance models in the wild. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 2008 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2008, Annapolis, MD, USA, June 2-6, 2008, pp. 253-264, 2008, ACM, 978-1-60558-005-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, June 17-19, 2008, Jyväskylä, Finland, pp. 336-341, 2008, IEEE Computer Society, 978-0-7695-3165-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ontologies, Integration, KDD, Preprocessing |
8 | Aurona Gerber, Alta van der Merwe, Andries Barnard |
A Functional Semantic Web Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings, pp. 273-287, 2008, Springer, 978-3-540-68233-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings, pp. 859-863, 2008, Springer, 978-3-540-68233-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 353-364, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 601-606, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 275-278, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 1240-1246, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Fahim T. Imam, Wendy MacCaull |
Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management Workshops ![In: Business Process Management Workshops, BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers, pp. 373-384, 2008, Springer, 978-3-642-00327-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAO! / EOMAS ![In: Advances in Enterprise Engineering I, 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings, pp. 46-60, 2008, Springer, 978-3-540-68643-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Semantic Business Process Management - Web Service Discovery & Composition |
8 | Wenfei Fan |
Dependencies revisited for improving data quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 159-170, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dependency, data quality |
8 | Anders Hessellund, Peter Sestoft |
Flow Analysis of Code Customizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 285-308, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Antonio Coronato, Massimo Esposito |
Towards an Implementation of Smart Hospital: A Localization System for Mobile Users and Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 17-21 March 2008, Hong Kong, pp. 715-719, 2008, IEEE Computer Society, 978-0-7695-3113-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 1st ACM SIGMM International Conference on Multimedia Information Retrieval, MIR 2008, Vancouver, British Columbia, Canada, October 30-31, 2008, pp. 149-155, 2008, ACM, 978-1-60558-312-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 261-271, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPRINGL ![In: Proceedings of the SIGSPATIAL ACM GIS 2008 International Workshop on Security and Privacy in GIS and LBS, SPRINGL 2008, November 4, 2008, Irvine, California, USA, Proceedings, pp. 72-81, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 45-55, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 13th International Conference, DASFAA 2008, New Delhi, India, March 19-21, 2008. Proceedings, pp. 330-347, 2008, Springer, 978-3-540-78567-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DB-Outlier, Outlier, High-dimensional Data, Example |
8 | Eric Kee, Hany Farid |
Printer profiling for forensics and ballistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 10th workshop on Multimedia & Security, MM&Sec 2008, Oxford, UK, September 22-23, 2008, pp. 3-10, 2008, ACM, 978-1-60558-058-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAGM-Symposium ![In: Pattern Recognition, 30th DAGM Symposium, Munich, Germany, June 10-13, 2008, Proceedings, pp. 224-233, 2008, Springer, 978-3-540-69320-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Alva L. Couch, Marc Chiarini |
Dynamic Consistency Analysis for Convergent Operators. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMS ![In: Resilient Networks and Services, Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008, Bremen, Germany, July 1-3, 2008, Proceedings, pp. 148-161, 2008, Springer, 978-3-540-70586-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Gerald Steinbauer, Franz Wotawa |
Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (1) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I, pp. 510-519, 2008, Springer, 978-3-540-88512-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: High Confidence Software Reuse in Large Systems, 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008, Proceedings, pp. 233-244, 2008, Springer, 978-3-540-68062-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Lionel Daniel |
Haziness for Common Sensical Inference from Uncertain and Inconsistent Linear Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (2) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2, pp. 163-170, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Maria Moloney, Frank Bannister |
Online Privacy: Measuring Individuals' Concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, 9th International Conference, EC-Web 2008, Turin, Italy, September 3-4, 2008, Proceedings, pp. 21-30, 2008, Springer, 978-3-540-85716-7. The full citation details ...](Pics/full.jpeg) |
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. ![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. 263-266, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 356-370, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 405, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings, pp. 1-15, 2008, Springer, 978-3-540-89703-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Xiaodong Zhu, Zhiqiu Huang, Guohua Shen |
Description Logic Based Consistency Checking upon Data Mining Metadata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings, pp. 475-482, 2008, Springer, 978-3-540-79720-3. The full citation details ...](Pics/full.jpeg) |
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. ![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. 7-16, 2008, Springer, 978-3-540-87695-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Alexandre Papadopoulos, Barry O'Sullivan |
Relaxations for Compiled Over-Constrained Problems. ![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. 433-447, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Jan Maluszynski, Andrzej Szalas, Aida Vitória |
Paraconsistent Logic Programs with Four-Valued Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 6th International Conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008, Proceedings, pp. 41-51, 2008, Springer, 978-3-540-88423-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 457-461, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Antonis Bikakis, Grigoris Antoniou |
Local and Distributed Defeasible Reasoning in Multi-Context Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 135-149, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Xavier Blanc 0001, Isabelle Mounier, Alix Mougenot, Tom Mens |
Detecting model inconsistency through operation-based model construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 511-520, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SHARK ![In: Proceedings of the 3rd International Workshop on Sharing and Reusing Architectural Knowledge, SHARK 2008, Leipzig, Germany, May 13, 2008, pp. 11-18, 2008, ACM, 978-1-60558-038-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 17th International Symposium on High-Performance Distributed Computing (HPDC-17 2008), 23-27 June 2008, Boston, MA, USA, pp. 235-236, 2008, ACM, 978-1-59593-997-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings, pp. 233-244, 2008, Springer, 978-3-540-87360-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Response ![In: Mobile Response, Second International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2008. Bonn, Germany, May 29-30, 2008, Revised Selected Papers, pp. 1-11, 2008, Springer, 978-3-642-00439-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 37-44, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Yacine Atif, Mohamed Adel Serhani, Piers Campbell, Sujith Samuel Mathew |
Trusted Translation Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CollaborateCom ![In: Collaborative Computing: Networking, Applications and Worksharing, 4th International Conference, CollaborateCom 2008, Orlando, FL, USA, November 13-16, 2008, Revised Selected Papers, pp. 778-791, 2008, Springer / ICST, 978-3-642-03353-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | André Herms, Georg Lukas |
Preventing admission failures of bandwidth reservation in wireless mesh networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 1094-1099, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Stefan Brüggemann |
Rule Mining for Automatic Ontology Based Data Cleaning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Progress in WWW Research and Development, 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings, pp. 522-527, 2008, Springer, 978-3-540-78848-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1643 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ 17][ >>] |
|