BibSonomy publications for /author/PinheiroFri Feb 03 11:48:48 CET 2012Paulo Pinheiro da Silva : Homepage2012provenance richterm_ma ui_modelling Fri Feb 03 11:47:17 CET 2012A Model-Based Workflow Approach for Scientific Applications 2006applications metamodeling Fri Feb 03 11:46:17 CET 2012Explaining Semantic Web applications2009applications semantic_web Fri Feb 03 11:44:26 CET 2012Journal of Web Semantics4397--413{Explaining answers from the Semantic Web: the Inference Web approach}12004provenance reasoners semantic_web Fri Feb 03 11:43:27 CET 2012Oxford, UK, UKInf. Syst.4381--395A proof markup language for semantic web services312006proof provenance rdf reasoners semantic_web The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept and trust a result produced by perhaps an unfamiliar Web service, the result needs to be accompanied by a justification that is understandable and usable by the client. In this paper, we describe the proof markup language (PML), an interlingua representation for justifications of results produced by Semantic Web services. We also introduce our Inference Web infrastructure that uses PML as the foundation for providing explanations of Web services to end users. We additionally show how PML is critical for and provides the foundation for hybrid reasoning where results are produced cooperatively by multiple reasoners. Our contributions in this paper focus on technological foundations for capturing formal representations of term meaning and justification descriptions thereby facilitating trust and reuse of answers from web agents.Fri Feb 03 11:41:30 CET 2012Object modelling of interactive systems : the UMLi approach2002richterm_ma ui_modelling umli Fri Feb 03 11:39:29 CET 2012IEEE Software462-69User Interface Modeling in UMLi.202003richterm_ma ui ui_modelling umli Thu Jan 26 00:00:00 CET 2012SIBGRAPIconf/sibgrapi/2011228-235The Development of a Tool for the Air Data System Calibration Flight Tests Campaign Using Image Processing.2011dblp Tue Jan 03 00:00:00 CET 2012IEEE PACTconf/IEEEpact/2002121-130Application Transformations for Energy and Performance-Aware Device Management.2002dblp Mon Jan 02 00:00:00 CET 2012AMCISconf/amcis/2010435Atendimento das Necessidades do Setor da Produção pelo ERP.2010dblp Mon Jan 02 00:00:00 CET 2012AMCISconf/amcis/2010345Influência das Capacidades Técnicas e Gerenciais no Desempenho das Empresas Desenvolvedoras de Software: Proposta de um Modelo Teórico.2010dblp Mon Jan 02 00:00:00 CET 2012AMCISconf/amcis/2010319IT Governance Implementation - Case of a Brazilian Bank.2010dblp Fri Dec 09 00:00:00 CET 2011SCSS (1)conf/cisse/2007scss1399-404A Model for Mobile Television Applications Based on Verbal Decision Analysis.2007dblp Thu Dec 08 00:00:00 CET 2011Neurocomputing148-57A multiscale numerical method for the heterogeneous cable equation.772012dblp Thu Dec 08 00:00:00 CET 2011ICICA (LNCS)conf/icica/2011585-594Lecture Notes in Computer ScienceTowards a Verbal Decision Analysis on the Selecting Practices of Framework SCRUM.70302011dblp Thu Dec 08 00:00:00 CET 2011ICICA (LNCS)conf/icica/2011113-120Lecture Notes in Computer ScienceApplying Backtracking Heuristics for Constrained Two-Dimensional Guillotine Cutting Problems.70302011dblp Mon Dec 05 00:00:00 CET 2011CoRRApplicability of a Novel Integer Programming Model for Wireless Sensor Networksabs/0908.01262009dblp Mon Dec 05 00:00:00 CET 2011CoRRA Novel Model for Optimized GSM Network Designabs/0909.10452009dblp Fri Nov 25 00:00:00 CET 2011Encyclopedia of Database Technologies and Applicationsbooks/idea/EncyDB05158-161Database Support for Workflow Management Systems.2005dblp Wed Nov 16 00:00:00 CET 2011IEEE T. Geoscience and Remote Sensing102340-2350Analysis of the NPOESS VIIRS land surface temperature algorithm using MODIS data.432005dblp