Examinando por Materia "Web services"

Mostrando 1 - 6 de 6
  • No hay miniatura disponible
    Ítem
    Correction of functional logic programs
    (SPRINGER, 2003-01-01) Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Alpuente, M.; Ballis, D.; Correa, F.J.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    We propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from a declarative diagnoser that we have developed previously which allows us to identify wrong program rules w.r.t. an intended specification. Then a bug-correction, program synthesis methodology tries to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), approach for the automatic correction of functional logic programs which is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Finally, we also provide a prototypical implementation which we use for an experimental evaluation of our system. © Springer-Verlag Berlin Heidelberg 2003.
  • No hay miniatura disponible
    Ítem
    An integrated framework for the diagnosis and correction of rule-based programs
    (ELSEVIER SCIENCE BV, 2010-10-29) Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.; Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it is possible to debug a program and then correct it automatically. Our methodology is based on the combination (in a single framework) of a semantics-based diagnoser that identifies those parts of the code that contain errors and an inductive learner that tries to repair them, once the bugs have been located in the program. We develop our methodology in several steps. First, we associate with our programs a semantics that is based on a (continuous) immediate consequence operator, TR, which models the answers computed by narrowing and is parametric w.r.t. the evaluation strategy, which can be eager or lazy. Then, we show that, given the intended specification of a program R, it is possible to check the correctness of R by a single step of TR. In order to develop an effective debugging method, we approximate the computed answers semantics of R and derive a finitely terminating bottom-up abstract diagnosis method, which can be used statically. Finally, a bug-correction program synthesis methodology attempts to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), correction approach that is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Our debugging framework does not require the user to provide error symptoms in advance or to answer difficult questions concerning program correctness. An implementation of our debugging system has been undertaken which demonstrates the workability of our approach. © 2010 Elsevier B.V. All rights reserved.
  • No hay miniatura disponible
    Ítem
    An integrated framework for the diagnosis and correction of rule-based programs
    (ELSEVIER SCIENCE BV, 2010-10-29) Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.; Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it is possible to debug a program and then correct it automatically. Our methodology is based on the combination (in a single framework) of a semantics-based diagnoser that identifies those parts of the code that contain errors and an inductive learner that tries to repair them, once the bugs have been located in the program. We develop our methodology in several steps. First, we associate with our programs a semantics that is based on a (continuous) immediate consequence operator, TR, which models the answers computed by narrowing and is parametric w.r.t. the evaluation strategy, which can be eager or lazy. Then, we show that, given the intended specification of a program R, it is possible to check the correctness of R by a single step of TR. In order to develop an effective debugging method, we approximate the computed answers semantics of R and derive a finitely terminating bottom-up abstract diagnosis method, which can be used statically. Finally, a bug-correction program synthesis methodology attempts to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), correction approach that is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Our debugging framework does not require the user to provide error symptoms in advance or to answer difficult questions concerning program correctness. An implementation of our debugging system has been undertaken which demonstrates the workability of our approach. © 2010 Elsevier B.V. All rights reserved.
  • No hay miniatura disponible
    Ítem
    Interactive visualization of volumetric data with WebGL in real-time
    (2011-01-01) Congote, J.; Segura, A.; Kabongo, L.; Moreno, A.; Posada, J.; Ruiz, O.; Universidad EAFIT. Departamento de Ingeniería Mecánica; Laboratorio CAD/CAM/CAE
    This article presents and discusses the implementation of a direct volume rendering system for the Web, which articulates a large portion of the rendering task in the client machine. By placing the rendering emphasis in the local client, our system takes advantage of its power, while at the same time eliminates processing from unreliable bottlenecks (e.g. network). The system developed articulates in efficient manner the capabilities of the recently released WebGL standard, which makes available the accelerated graphic pipeline (formerly unusable). The dependency on specially customized hardware is eliminated, and yet efficient rendering rates are achieved. The Web increasingly competes against desktop applications in many scenarios, but the graphical demands of some of the applications (e.g. interactive scientific visualization by volume rendering), have impeded their successful settlement in Web scenarios. Performance, scalability, accuracy, security are some of the many challenges that must be solved before visual Web applications popularize. In this publication we discuss both performance and scalability of the volume rendering by WebGL ray-casting in two different but challenging application domains: medical imaging and radar meteorology. © 2011 ACM.
  • No hay miniatura disponible
    Ítem
    Mesh Segmentation and Texture Mapping for Dimensional Inspection inWeb3D
    (Association for Computing Machinery, Inc, 2017-01-01) Mejia D.; Sánchez J.R.; Segura Á.; Ruiz-Salguero O.; Posada J.; Cadavid C.; Universidad EAFIT. Departamento de Ingeniería Mecánica; Laboratorio CAD/CAM/CAE
    Traditionally, the data generated by industrial metrology so.ware is stored as static reports that metrology experts produce for engineering and production departments. Nevertheless, industry demands new approaches that provide ubiquitous and real time access to overall geometry, manufacturing and other data. Web3D technologies can help to improve the traditional metrology methods and o.er new ways to convey this information in web-based continuous friendly manner. However, enriched point clouds may be massive, thus presenting transmission and display limitations. To partially overcome these limitations, this article presents an algorithm that computes efficient metrology textures, which are then transferred and displayed through Web3D standards. Texture coordinates are computed only once for the reference CAD mesh on the server using in-house thermal-based segmentation and Hessian-based parameterization algorithms. The metrology data is then encoded in a texture le, which becomes available instantly for interactive visual inspection through the Web3D platform. © 2017 ACM.
  • No hay miniatura disponible
    Ítem
    ReWeb3D - Enabling desktop 3D applications to run in the web
    (2013-01-01) Glander, T.; Moreno, A.; Aristizabal, M.; Congote, J.; Posada, J.; Garcia-Alonso, A.; Ruiz, O.; Universidad EAFIT. Departamento de Ingeniería Mecánica; Laboratorio CAD/CAM/CAE
    Currently, 3D rendering is accessible within Web browsers through open standards such as WebGL, X3D, and X3DOM. At the same time, there is wealth of mature desktop software which comprises algorithms, data structures, user interfaces, databases, etc. It is a challenge to reuse such desktop software using the Web visualization resources. In response to this challenge, this article presents a novel framework, called ReWeb3D, which minimizes the redevelopment for migration of existing 3D applications to the Web. The redeployed application runs on a Web server. ReWeb3D captures low-level graphic calls including geometry, texture, and shader programs. The captured content is then served as a WebGL-enabled web page that conveys full interactivity to the client. By splitting the graphics pipeline between client and server, the workload can be balanced, and high-level implementation details and 3D content are hidden. The feasibility of ReWeb3D has been tested with applications which use OpenSceneGraph as rendering platform. The approach shows good results for applications with large data sets (e.g. geodata), but is less suited for applications intensive in animations (e.g. games). Copyright © ACM 978-1-4503-2133-4/13/06 $15.00.