Filters








9,513 Hits in 4.0 sec

An Algebraic Baseline for Automatic Transformations in MDA

Artur Boronat, José Á. Carsí, Isidro Ramos
2005 Electronical Notes in Theoretical Computer Science  
Our model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic.  ...  We describe a framework for model management, called MOMENT, that supports automatic formal model transformations in MDA.  ...  These algebraic specifications are performed through visual wizards that are embedded in a specific CASE tool to disguise the equational logic formalism.  ... 
doi:10.1016/j.entcs.2004.08.031 fatcat:i2olhdelxnc67hn77r562xwyhu

A Formal Approach to Website Maintenance

Lihua Duan, Jessica Chen
2007 10th IEEE High Assurance Systems Engineering Symposium (HASE'07)  
expressed in labelled transition systems, against the desired properties expressed in temporal logic formulas combined with tree automata.  ...  With the rapid evolutions of the web applications, effective maintenance techniques to guarantee the correctness of the evolutions are highly demanded.  ...  With this observation, we intend to provide a visual and interactive tool to facilitate the maintenance of the formal specifications of the required properties.  ... 
doi:10.1109/hase.2007.52 dblp:conf/hase/DuanC07 fatcat:m2sk7r6qpjh7bjv755z7sxrcni

Data Mining and Visualization of Diagnostic Messages for Condition Monitoring

Eckart Uhlmann, Claudio Geisert, Eckhard Hohwieler, Ian Altmann
2013 Procedia CIRP  
The present paper discusses how to handle system messages for condition monitoring purposes by using data mining and visualization.  ...  To control and monitor functionality and interaction between subsystems, each of them generates internal state variables and communicates a subset of these as system messages via task specific bus systems  ...  Acknowledgements Parts of the presented work were carried out in the context of the Fraunhofer Innovation Cluster Maintenance, Repair and Overhaul in Energy and Transport.  ... 
doi:10.1016/j.procir.2013.07.045 fatcat:q7nuiqit2nf3lc6etyku553fdi

On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework [article]

Jan Olaf Blech, Ian D. Peake, Sudarsan SD
2018 arXiv   pre-print
Means to support collaboration for remote industrial facilities such as mining are an important topic, especially in Australia, where major mining sites can be more than a thousand kilometers from population  ...  Software-based collaboration and maintenance solutions can help to reduce costs associated with these remote facilities.  ...  Model checking for process algebras in this context is presented in [22] .  ... 
arXiv:1802.02227v1 fatcat:t55ksxm6erhjvpbovr75toa7wi

WYSIWYE: An Algebra for Expressing Spatial and Textual Rules for Visual Information Extraction [article]

Vijil Chenthamarakshan, Prasad M Desphande, Raghu Krishnapuram, Ramakrishna Varadarajan, Knut Stolze
2016 arXiv   pre-print
The visual layout of a webpage can provide valuable clues for certain types of Information Extraction (IE) tasks.  ...  In contrast, we have developed a framework in which the rules can be specified directly at the layout level.  ...  web page, and rule maintenance becomes messy.  ... 
arXiv:1506.08454v2 fatcat:nlod63iy6rguben42k3fmkd7hi

Cyber-Virtual Systems: Simulation, Validation & Visualization [article]

Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz Schmidt
2014 arXiv   pre-print
We are targeting scenarios, where industrial sites which may be in remote locations are modeled and visualized from different sites anywhere in the world.  ...  We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance.  ...  Acknowledgements We would like to thank staff from RMIT ITS, PropertyServices, eResearch and the VITELab team, in particular Lasith Fernando, Ravi Sreenivasamurthy and Garry Keltie.  ... 
arXiv:1410.1258v1 fatcat:6k4z3lwhhjhoznhuhvtrtnrqza

Sigma Worksheet: Interactive Construction of OLAP Queries [article]

James Gale and Max Seiden and Gretchen Atwood and Jason Frantz and Rob Woollen and Çağatay Demiralp
2021 arXiv   pre-print
Here we introduce Sigma Worksheet, a new interactive system that enables users to easily perform ad-hoc visual analysis of data in CDWs at scale.  ...  However, existing tools for analyzing data in CDWs are either limited in ad-hoc transformations or difficult to use for business users, the largest user segment in enterprises.  ...  The specification is transformed into a Worksheet Algebra specification describing the order of operations in the worksheet (c).  ... 
arXiv:2012.00697v3 fatcat:xezl2ygjrfhghg6tcrzzgegigi

The database course (panel session)

Ming Wang, Mario Guimaraes, Martha E. Myers
2000 Proceedings of the thirty-first SIGCSE technical symposium on Computer science education - SIGCSE '00  
Using the ORDBMS we can resolve many of the weaknesses of relational databases and teach, reusing and sharing of data, understanding object-oriented concepts, maintenance of a consistent structure in the  ...  Mario Guimaraes An undergraduate database course should include: Relational Algebra, SQL, Database Design, Accessing the Database through a front-end language, and a project where the student will focus  ... 
doi:10.1145/330908.331896 dblp:conf/sigcse/RobbertWGM00 fatcat:sy6tvfxpsjfx7bdzupjcvnsdtm

Page 1252 of Mathematical Reviews Vol. , Issue 99b [page]

1991 Mathematical Reviews  
Uskiidarli, Share-where maintenance in visual algebraic specifications (297-311); Satoshi Fujita, A fault tolerant broadcast scheme in star graphs (312-320); Ken-etsu Fu- jita, Calculus of classical proofs  ...  of shared memory parallel programs into sequential programs (351-366). 65 NUMERICAL ANALYSIS {Some of the papers are being reviewed individually. } 99b:68002 68-06 68N15 68Q42 * Algebraic and logic programming  ... 

MATLAB at the Faculty of Aeronautics

Peter Szabó, Iveta Vajdová
2020 Acta Avionica Journal  
In this article, we focused on its university use. Also, within the framework of university use MATLAB offers many possibilities, which can work with either in education or research.  ...  We investigated the possibilities of using the system in terms of the Faculty of Aviation.  ...  Students were acquainted with the necessary specifics of the system and participated in the self-courses offered by the company.  ... 
doi:10.35116/aa.2020.0008 fatcat:e2w45mr3z5g33kaawnohsltkny

Data Management in Machine Learning

Arun Kumar, Matthias Boehm, Jun Yang
2017 Proceedings of the 2017 ACM International Conference on Management of Data - SIGMOD '17  
Finally, we identify key open data management challenges for future research in this important area.  ...  The data management community has been working for over a decade on tackling data management-related challenges that arise in ML workloads, and has built several systems for advanced analytics.  ...  Incremental Model Maintenance Incremental maintenance of materialized views is a well studied topic in the database literature.  ... 
doi:10.1145/3035918.3054775 dblp:conf/sigmod/Kumar0017 fatcat:zph46pk72vc5nn3axspvvuxpx4

A Comprehensive Web-based Platform For Domain-Specific Biological Models

M. Klement, D. Šafránek, T. Děd, A. Pejznoch, L. Nedbal, R. Steuer, J. Červený, S. Müller
2013 Electronical Notes in Theoretical Computer Science  
A Comprehensive Modeling Platform, that is, a general framework for public sharing, annotation, and visualization of domain-specific biological models, is presented.  ...  In the current version we do not support differential algebraic equations.  ...  Wide model sharing can be provided only by Internet in case those models are translated to unified format with uniformly annotated components so they can be used in their original form, compared with each  ... 
doi:10.1016/j.entcs.2013.11.006 fatcat:nfbyrevs2zggvkwovkjnftqjbe

Formalising opencypher Graph Queries in Relational Algebra [article]

József Marton, Gábor Szárnyas, Dániel Varró
2017 arXiv   accepted
We introduce relational graph algebra, which extends relational operators by adapting graph-specific operators and define a mapping from core openCypher constructs to this algebra.  ...  In this paper, we present a formal specification for openCypher, a high-level declarative graph query language with an ongoing standardisation effort.  ...  In this paper, we use a formal definition of the property graph data model [7] and relational graph algebra, which operates on multisets (bags) [6] and is extended with additional graph-specific operators  ... 
arXiv:1705.02844v2 fatcat:pt24fdqevvco5jslqfzwmo574m

Abstracts of Current Computer Literature

1969 IEEE transactions on computers  
a Time-Sharing System 7004 Maintenance Strings for Retrieval and Maintenance in the Management of Generalized Phys- ical Data Structures 7011 -see also Failures Malfunctions -see Failures Management  ...  A command computer, also in simulation, has selected the appropriate mode of behavior which determines the filters used in the visual computers.  ... 
doi:10.1109/t-c.1969.222790 fatcat:6uoe3hk6ffhxvgnifzisoykq4e

A clone-based graphical modeler and mathematical model generator for optimal production planning in process industries

Murat Draman, İ Kuban Altinel, Nijaz Bajgoric, Ali Tamer Ünal, Burak Birgören
2002 European Journal of Operational Research  
The proposed system lets the users build a graphical model of the production system with one-to-one clones of its production units through its interactive visual interface, accepts production-specific  ...  The concept is demonstrated in this paper with a linear programming prototype developed for a petroleum refinery. Ó  ...  This approach differs from classical algebraic and structured modeling (SM) approaches where visualizations are based on elements of mathematical model itself.  ... 
doi:10.1016/s0377-2217(01)00066-2 fatcat:xp34o3szureo7hvjzy6ion7qve
« Previous Showing results 1 — 15 out of 9,513 results