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
On-The-Fly Model-Based Testing of Web Services with Jambition
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
This testing approach was applied for validating the Alarm Dispatcher eHealth service, aimed at providing health attention through mobile devices in B3G networks. ...
test coverage, and executing test cases in traditional testing approaches. ...
In addition to these generic benefits of test automation, Jambition brought some specific added value when validating Web Services as in the Alarm Dispatcher experiment. ...
doi:10.1007/978-3-642-01364-5_9
fatcat:ny7mlx6qezb63ernf54pe6ggry
High-performance symbolic-numerics via multiple dispatch
[article]
2022
arXiv
pre-print
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 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
As mathematical computing becomes more democratized in high-level languages, high-performance symbolic-numeric systems are necessary for domain scientists and engineers to get the best performance out ...
To this end, we developed Symbolics.jl, an extendable symbolic system which uses dynamic multiple dispatch to change behavior depending on the domain needs. ...
In this work we explore the question -could these mathematical code optimizations be generally applied in an automated fashion to a whole high-performance programming language? ...
arXiv:2105.03949v3
fatcat:oecdxlbwzzc6ncc5x2spepdjxi
Using source transformation to test and model check implicit-invocation systems
2006
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 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we present a source transformation-based framework to support uniform testing and model checking of implicitinvocation software systems. ...
to assist in the implementation, validation and verification of programming languages and software systems in general. ...
This paper has been significantly improved in response to the comments of several anonymous referees whose constructive efforts are much appreciated. ...
doi:10.1016/j.scico.2006.04.008
fatcat:dex64lrvmjbn7imlu23hnol3vi
Modeling Automated Guided Vehicle Systems in Material Handling
2003
Doğuş Üniversitesi Dergisi
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 2019; you can also visit the original URL.
The file type is application/pdf.
The study objectives are to 1) provide information regarding the use and benefits of Automated Guided Vehicle (AGV) systems in manufacturing environments, and 2) review the literature related to design ...
Keywords: Automated Guided Vehicle Systems Design, Modeling and Simulation. ...
Their model handled multiple layouts and pedestrians in the system. It was a mixed-language model that was written in SLAM II with event-processing functions written in the C programming language. ...
doi:10.31671/dogus.2019.319
fatcat:byobngofi5autghpbezmfrttne
Leveraging the Text Mining to Automate the Customer Helpdesk Systems
2021
International Journal of Computer 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 2021; you can also visit the original URL.
The file type is application/pdf.
Automated ticket classifier systems result in faster ticket resolution, effective resource utilization and enhanced growth in business. ...
This research paper presents such an automated helpdesk ticket classifier by using the artificial intelligence concepts like text document classification and natural language processing techniques. ...
In this research work, techniques like text mining and basic natural language processing are leveraged to build such an intelligent automated system. ...
doi:10.5120/ijca2021921519
fatcat:v6vjyswpyne7voxntle46m4pea
Development of automated text-message reminder system to improve uptake of childhood vaccination in North-West, Ethiopia
2019
Online Journal of Public Health Informatics
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.
In the final testing, all the messages (100%) were delivered to the piloted mothers. ...
Finally, pilot testing was done on 30 participants before actual implementation.Results: The automated system has been developed based on requirements. ...
OJPHI
Automated text message setup: The automated text messages were developed both in Amharic (local language) and English languages for each of the four vaccination schedules. ...
doi:10.5210/ojphi.v11i2.10244
pmid:31632609
pmcid:PMC6788892
fatcat:rxcs5x5d4ba6dbzixbq6kt7hta
The Feasibility of Using Machine Learning to Classify Calls to South African Emergency Dispatch Centres According to Prehospital Diagnosis, by Utilising Caller Descriptions of the Incident
2021
Healthcare
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 results are encouraging and show that automated diagnosis based on emergency dispatch centre transcriptions is feasible. ...
When implemented in real time, this can have multiple utilities, e.g. enabling the call-takers to take the right action with the right priority. ...
Some of the major challenges in a project of this nature are as follows: • South Africa, like many other African nations, has multiple spoken languages. ...
doi:10.3390/healthcare9091107
pmid:34574881
pmcid:PMC8472370
fatcat:7hpcljqenzhhxlrbyhf7pomxgu
Source Code Rejuvenation Is Not Refactoring
[chapter]
2010
Lecture Notes in Computer Science
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 2012; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present the notion of source code rejuvenation, the automated migration of legacy code and very briefly mention the tools we use to achieve that. ...
Evolving languages often address frequently encountered problems by adding language and library support to subsequent releases. ...
DMS supports the evolution of large scale software written in multiple languages. Stratego/XT [32] is a generic transformation framework that operates on an annotated term (ATerm) representation. ...
doi:10.1007/978-3-642-11266-9_53
fatcat:hyqsdrgkejbsnlvg766wgu7vdy
Towards automated integrity protection of C++ virtual function tables in binary programs
2014
Proceedings of the 30th Annual Computer Security Applications Conference on - ACSAC '14
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 propose a static binary analysis technique to extract virtual function call site information in an automated way. ...
In this paper, we present a novel approach towards mitigating and detecting such attacks against C++ binary code. ...
These subtleties were observed in our 32-bit test binaries originating from C++ code with virtual, single, and multiple inheritance and polymorphic classes, as well as in COTS browser code. ...
doi:10.1145/2664243.2664249
dblp:conf/acsac/GawlikH14
fatcat:zjiwpjrevjgjzmscnka7lan3hu
The Collaboratory for the Study of Earthquake Predictability perspective on computational earthquake science
2009
Concurrency and Computation
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 2014; you can also visit the original URL.
The file type is application/pdf.
Moreover, CSEP fosters collaboration among scientists developing earthquake forecast models, and the testing center concept allows multiple concurrent predictability experiments. ...
We describe ongoing forecast experiments in different testing regions and some of the * Correspondence to: implementation challenges encountered. ...
Keck Collaboratory for Study of Earthquake Predictability Testing Center at SCEC was made possible by the generous financial support of the W. M. Keck Foundation. ...
doi:10.1002/cpe.1519
fatcat:f3wjiri2m5eqxhlsto2mtgl3vi
WSDLTest - A Tool for Testing Web Services
2006
International Workshop on Web Site Evaluation, Proceedings of the
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.
A significant barrier to the use of Web services is the problem of testing them. One of the solutions to deal with the problem lies in the ability to simulate the usage of the services. ...
WSDLTest is part of a larger complex tool set -DataTest -for generating and validating system test data. ...
The issue of test automation versus creative testing remains a major topic in the testing literature [16] . ...
doi:10.1109/wse.2006.24
dblp:conf/wse/SneedH06
fatcat:frdyyfxxzjhznlb2k6so3n5eye
Investigating and Classifying the Applications of Flexible Manufacturing Systems in Customization
2013
IOSR Journal of Mechanical and Civil Engineering
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.
They are tested to provide the empirical evidence about how well the proposed approach performs for the general automated manufacturing systems where parts have alternative routings. ...
Two types of manufacturing system models are used in simulation studies to test the effectiveness of the proposed dynamic scheduling approach. ...
So, multiple setups for machining of a part are not uncommon in discrete part manufacturing industries. ...
doi:10.9790/1684-07665462
fatcat:rj5ta5yvv5cnlficdmybcr66ve
Automated Regression Testing within Video Game Development
2013
GSTF International Journal on Computing
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 proposed model combines the usability and veracity of record and playback techniques and the possible test coverage of tests written in a game specific scripting language. ...
Automated testing reduces the costs of software development. ...
BACKGROUND Modern games utilize multiple programming languages. ...
doi:10.7603/s40601-013-0010-4
fatcat:vydssz5tmbhonatm5ok45ps7he
Automated Regression Testing within Video Game Development
2013
GSTF International Journal on Computing
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 proposed model combines the usability and veracity of record and playback techniques and the possible test coverage of tests written in a game specific scripting language. ...
Automated testing reduces the costs of software development. ...
BACKGROUND Modern games utilize multiple programming languages. ...
doi:10.5176/2251-3043_3.2.257
fatcat:5e4maawaxfgoxbiecfvgcgz6fy
parasweep: A template-based utility for generating, dispatching, and post-processing of parameter sweeps
[article]
2019
arXiv
pre-print
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.
Other Versions
leverages the model's existing configuration files using a template system, requiring minimal code changes. parasweep supports a variety different sweep types, generating parameter sets accordingly and dispatching ...
The author acknowledges the University of Maryland supercomputing resources (http://hpcc.umd.edu) made available for conducting the research reported in this paper. ...
Programming language Python version 3.6+
Additional system requirements To take advantage of parallelism multiple cores or nodes are required. ...
arXiv:1905.03448v1
fatcat:z2qb5qkihrapvieubetkx6d7pe
« Previous
Showing results 1 — 15 out of 6,003 results