73 Hits in 4.9 sec

Synchronous Parallel Database Transformations [chapter]

Klaus-Dieter Schewe, Qing Wang
2012 Lecture Notes in Computer Science  
Database transformations provide a unifying umbrella for queries and updates.  ...  This defines a computational model for XML database transformation using a variant of Abstract State Machines.  ...  The seminal work by Gurevich on the sequential ASM thesis [Gurevich, 2000] is most inspiring for our work.  ... 
doi:10.1007/978-3-642-28472-4_21 fatcat:2hjtynvwj5cdtpwqgdhpmrhowi

Structuralization of customer requirements by association rule mining and design structure matrix for configure-to-order products

2021 Transactions of the JSME (in Japanese)  
The extracted association rules are transformed into a customer requirements DSM, which can be used as the input to the clustering method for the multi-domain matrix across customer requirements, physical  ...  This paper proposes a structuralization method of customer requirements for configure-to-order products with the customer data analysis and the design structure matrix (DSM).  ...  A. and Eppinger, S. D., Methods for analyzing design procedures, Proceedings of the ASME International Design Engineering Technical Conference (1991), pp. 227-233.  ... 
doi:10.1299/transjsme.21-00055 fatcat:asiq5lkkojh3rieg7xtx6jtfjy

A formal model for the interoperability of service clouds

Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2012 Service Oriented Computing and Applications  
For a services to match a slot in a mediator, a (generalised) projection of the mediator must comply with the plot of the service.  ...  On these grounds we develop a model for service mediators, i.e. specifications of composed services in which service slots have to be filled by actual services, and investigate matching conditions for  ...  AS 2 s abstract from and generalise our research on Web Information Systems [26] , integrate the customised ASM thesis for database transformations [28] , and base service composition on general ideas  ... 
doi:10.1007/s11761-012-0101-7 fatcat:iiujie2xqjdafit6btnu3l63xm

Towards user-centric concrete model transformation

I. Avazpour
2012 2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
To generate a transformation with most current MDE approaches, users are required to specify (or provide) complex abstractions and meta-models and engage in quite lowlevel coding in usually textual transformation  ...  This specification technique provides pragmatic barriers for users of model transformations and prevents them from adapting MDE technologies.  ...  VIATRA2 integrates graph transformation and abstract state machines (ASM) to manipulate graph based models [97] .  ... 
doi:10.1109/vlhcc.2012.6344520 dblp:conf/vl/Avazpour12 fatcat:izqupk5eubhalhgrfahy7y3cbm

An abstract model for service provision, search and composition

Hui Ma, Klaus-Dieter Schewe, Qing Wang
2009 2009 IEEE Asia-Pacific Services Computing Conference (APSCC)  
For the semantics we adopt types for in-and output, pre-and post-conditions, and a description of functionality within an operations ontology.  ...  For the services as such we adopt the abstract model of abstract state services, which is based on views on some hidden database layer that are equipped with service operations.  ...  ASSs abstract from and generalise our research on Web Information Systems [14] , and integrate the customised ASM thesis for database transformations [15] .  ... 
doi:10.1109/apscc.2009.5394133 fatcat:zwnigyvgsvf4vjopfx35cj5aau

Detecting the brain surface in sparse MRI using boundary models

Patrick Marais, J.M Brady
2000 Medical Image Analysis  
Results are shown for a number of images and are discussed in detail.  ...  We introduce a framework for the detection of the brain boundary (arachnoid) within sparse MRI.  ...  ., Witkin, A., Terzopoulus, D., 1987 This work was supported in part by funds from the EC  ... 
doi:10.1016/s1361-8415(00)00020-7 pmid:11145314 fatcat:5mqh4hpucncdpij3m5ijtzuozi

Spray: programming with a persistent distributed heap

Marco Grandi
2016 Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2016  
We introduce a programming paradigm for distributed applications based on a persistent distributed heap.  ...  A proof-of-concept implementation is provided as a JavaScript library, together with several examples that embody popular patterns for web applications.  ...  The library was developed as a Node.js module and then transformed in a script suitable for web browsers, using the Node.js module browserify 7 .  ... 
doi:10.1145/2984043.2984045 dblp:conf/oopsla/Grandi16 fatcat:2agjfqow4baybj6wo42jlw7hke

On designing safe and flexible embedded DSLs with Java 5

Jevgeni Kabanov, Michael Hunger, Rein Raudjärv
2011 Science of Computer Programming  
It is our goal that this paper would serve as a starting point for someone designing an embedded DSL that takes full advantage of the Java 5 features.  ...  Acknowledgements We would like to thank Juhan Aasaru, who developed the SQL DSL as a part of his master's thesis [1] . He did a great job and contributed a lot of ideas that influenced this article.  ...  part of his master's thesis [1] .  ... 
doi:10.1016/j.scico.2010.04.005 fatcat:54fnya2rizg7dnguafkdrzdjae

A review of Additive Manufacturing technology and Cost Estimation techniques for the defence sector

Alessandro Busachi, John Erkoyuncu, Paul Colegrove, Filomeno Martina, Chris Watts, Richard Drake
2017 CIRP - Journal of Manufacturing Science and Technology  
AM groups together a wide range of different approaches which have the ability to convert a 3D file into a physical product by depositing layer upon layer of material.  ...  The contribution of this paper is to present to Defence Support Service stakeholders the various AM technologies and cost modelling techniques for measuring the product or service cost.  ...  database to the new design.  ... 
doi:10.1016/j.cirpj.2017.07.001 fatcat:i3nuzodcbzcu3cxc7gwjdw3jty


Michael Sony
2021 Zenodo  
DESIGN OF READINESS MODEL FOR INDUSTRY 4.0 IMPLEMENTATION IN INDIAN ENGINEERING INDUSTRIES: DSc Thesis  ...  Acknowledgments We thank the reviewers for the constructive suggestion which improved the quality of the paper. The author also thanks Dr. Subhash Naik for his valuable insights on this paper.  ...  Acknowledgement We thank the reviewers for the constructive comments which has improved the quality of the paper.  ... 
doi:10.5281/zenodo.5148191 fatcat:tjqyh7rodzcdbljxr7xbve4ybu

GPGPU-based Gaussian Filtering for Surface Metrological Data Processing

Yang Su, Zhijie Xu, Xiangqian Jiang
2008 2008 12th International Conference Information Visualisation  
The algorithms employed in this thesis included various filtering techniques, discrete wavelet transform, and the fast Fourier Transform which cover the common operations implemented in most LTI systems  ...  Firstly, a thorough survey of the state-of-the-art of GPGPU applications and their development approaches has been carried out in this thesis.  ...  In 1994, the Gaussian filter was made into the standard filter used for stylusbased surface measurement, which is described in ASME B46.1(ASME B46.  ... 
doi:10.1109/iv.2008.14 dblp:conf/iv/SuXJ08 fatcat:lpagxjxstjbj5lcdumztlpgolu

Interactive exploration of historic information via gesture recognition

S. Bailey, C. Powell, S. D. Laycock, A. M. Day
2012 2012 18th International Conference on Virtual Systems and Multimedia  
As a result of the research presented in this thesis, the techniques and methods used have been detailed and published [3] at the VSMM (Virtual Systems and Multimedia 2012) conference with the intention  ...  These devices present an attractive input device for exhibits since the user can interact with their hands and they are not required to physically touch any part of the system.  ...  Figure 2 . 2 20: A comparison between ASM and RMSM shadow maps.  ... 
doi:10.1109/vsmm.2012.6365927 dblp:conf/vsmm/BaileyPLD12 fatcat:ui577zc7izbzdcprmajfuepcky

Control of switched reluctance machines

2009 2009 35th Annual Conference of IEEE Industrial Electronics  
For motoring operation, there are two possible control objectives. If the SRM is being employed in a servo-type application, the desire is for a constant output torque.  ...  Signed: ID No.: Date: Abstract This thesis is concerned with the control of switched reluctance machines for both motoring and generating applications.  ...  ("iopg = 0x00;"); asm("axl = 0x0120;") ; asm("io(0x200) = axl;"); asm{"nop;"); //Bypass mode enable and write the correct multiplier value. asm("iopg = 0x00;"); asm("axl = 0x0b50;"); //Multiple of 5 =>  ... 
doi:10.1109/iecon.2009.5415317 fatcat:yyyqj2euojf3zdh7rrnhpbb2sa

A framework to assess the ability of automation to deliver capacity targets in European airspace

Gonzalo Tobaruela Arnedo, Arnab Majumdar, Washington Ochieng, Wolfgang Schuster, LLoyd's Register Educational Trust, HALA SESAR WP-E
due to a rapid increase in air traffic activity.  ...  This thesis addresses this issue by developing an en-route airspace capacity estimation framework, able to measure the impact of future ATM system modernisation deployments on airspace capacity.  ...  The Single European Sky through its implementation program the Single European Sky ATM Research (SESAR) is in charge of delivering this transformation at a European level.  ... 
doi:10.25560/28150 fatcat:ypcplbjtxnb7japlxim5ylilye

Developments in abstract and assumption-based argumentation and their application in logic programming

Claudia Schulz, Francesca Toni, Marek Sergot
More precisely, we introduce assumption labellings as a novel way to express the semantics of ABA and prove a more straightforward relationship with LP semantics than found in previous work.  ...  In this thesis, we present novel developments in Argumentation, in particular in Assumption-Based Argumentation (ABA) and Abstract Argumentation (AA), and show how they can 1) extend the understanding  ...  databases [TML13] , and refining psychological theories [BG10, Inc15] .  ... 
doi:10.25560/56062 fatcat:w5cajqk4srhj3cwrfweoaoyx2i
« Previous Showing results 1 — 15 out of 73 results