Filters








6,003 Hits in 6.5 sec

On-The-Fly Model-Based Testing of Web Services with Jambition [chapter]

Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet
2009 Lecture Notes in Computer Science  
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]

Shashi Gowda, Yingbo Ma, Alessandro Cheli, Maja Gwozdz, Viral B. Shah, Alan Edelman, Christopher Rackauckas
2022 arXiv   pre-print
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

Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Juergen Dingel
2006 Science of Computer Programming  
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

Bülent SEZEN
2003 Doğuş Üniversitesi Dergisi  
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

Paramesh S.P., Shreedhara K.S.
2021 International Journal of Computer Applications  
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

Zeleke Abebaw Mekonnen, Fedlu Nurhussien Hussien, Binyam Chakilu Tilahun, Kassahun Alemu Gelaye, Adane Letta Mamuye
2019 Online Journal of Public Health Informatics  
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

Tayla Anthony, Amit Kumar Mishra, Willem Stassen, Jarryd Son
2021 Healthcare  
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]

Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup
2010 Lecture Notes in Computer Science  
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

Robert Gawlik, Thorsten Holz
2014 Proceedings of the 30th Annual Computer Security Applications Conference on - ACSAC '14  
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

J. Douglas Zechar, Danijel Schorlemmer, Maria Liukis, John Yu, Fabian Euchner, Philip J. Maechling, Thomas H. Jordan
2009 Concurrency and Computation  
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

Harry Sneed, Shihong Huang
2006 International Workshop on Web Site Evaluation, Proceedings of the  
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

Ahmad Afsari
2013 IOSR Journal of Mechanical and Civil Engineering  
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

Michail Ostrowski, Samir Aroudj
2013 GSTF International Journal on Computing  
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

Michail Ostrowski, Samir Aroudj
2013 GSTF International Journal on Computing  
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]

Eviatar Bach
2019 arXiv   pre-print
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