A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Synchronous Parallel Database Transformations
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2012
Service Oriented Computing and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 IEEE Asia-Pacific Services Computing Conference (APSCC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2000
Medical Image Analysis
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2016
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
CIRP - Journal of Manufacturing Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
DESIGN OF READINESS MODEL FOR INDUSTRY 4.0 IMPLEMENTATION IN INDIAN ENGINEERING INDUSTRIES
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 12th International Conference Information Visualisation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 18th International Conference on Virtual Systems and Multimedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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