Filters








461,025 Hits in 11.3 sec

The Effect of Time-Between-Events for Sequence Interaction Testing of a Real-Time System

Chek Pin Yang, Gunwant Dhadyalla, James Marco, Paul Jennings
2018 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
The novelty of the proposed approach is a methodology for creating and running t-way input sequence interaction test suites in realtime with the time between input events (TBE) considered as a critical  ...  The system is tested with 2688 3-way event sequence interaction tests across a TBE range from 1 millisecond to 500 milliseconds validating the effectiveness of the approach in eliciting faults.  ...  There is generally a lack of research investigating the effects of interactions between inputs for real-time control systems in a pragmatic and systematic manner. C.  ... 
doi:10.1109/icstw.2018.00069 dblp:conf/icst/YangDMJ18 fatcat:w7ybayxjxndtng7tg35cftpbka

A model-based testing technique for component-based real-time embedded systems

Jing Guan, Jeff Offutt
2015 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
The test model is realized using a family of graph-based test models in which that describe functional interactions and their dependence relationships, as well as the time-dependent interaction among components  ...  Although many ideas have been proposed for building component-based real-time embedded software, techniques for testing component-based realtime systems are scarce.  ...  An interaction between components can be illustrated through a sequence of events and messages.  ... 
doi:10.1109/icstw.2015.7107407 dblp:conf/icst/GuanO15 fatcat:4flkz2y7arhthievysgc35anky

Software support for interactive multimedia performance

Roger B. Dannenberg
1993 Interface  
The techniques include a new programming environment that supports an integration of procedural and declarative score-like descriptions of interactive real-time behavior.  ...  A set of techniques have been developed and refined to support the demanding software requirements of combined interactive computer music and computer animation.  ...  Portions of this work were also supported by IBM and the CMU Information Technology Center, the Studio for Creative Inquiry, and the Music Department.  ... 
doi:10.1080/09298219308570633 fatcat:5scpzpagzzb4hbwj77evdh7kdy

Test Case Generation for Arduino Programming Instructions using Functional Block Diagrams

Mani Padmanabhan
2022 Trends in Sciences  
The major source of effective testing is the identification of test cases.  ...  Programming instruction based testing has not well suitable for Arduino real-time systems Arduino functional block diagrams are converted to the event node for test case generation.  ...  The functional block diagram has been widely used as a system-level specification in Arduino real-time systems. The interaction diagram describes the system behaviour in the real-time process.  ... 
doi:10.48048/tis.2022.3472 fatcat:a33yb5ererc43ggt5lw6oygtaa

WevQuery

Aitor Apaolaza, Markel Vigo
2017 Proceedings of the ACM on Human-Computer Interaction  
We present two scenarios to showcase the potential of WevQuery, from the design of the queries to their execution on real interaction data accounting for 5.7m events generated by 2 445 unique users.  ...  Remotely stored user interaction logs, which give access to a wealth of data generated by large numbers of users, have been long used to understand if interactive systems meet the expectations of designers  ...  The scalability of the system was successfully tested employing low-level interaction data (5.7m events) captured from 2 445 users on a real website.  ... 
doi:10.1145/3095806 fatcat:npiwuiael5acpg4z4vu5yywes4

Experimental Comparison of Sequence and Collaboration Diagrams in Different Application Domains

Chanan Glezer, Mark Last, Efrat Nahmani, Peretz Shoval
2005 International Working Conference on Exploring Modeling Methods for Systems Analysis and Development  
system (MIS) and real-time (RT) system.  ...  This article reports the findings from a controlled experiment where both the comprehensibility and the quality of UML interaction diagrams were investigated in two application domains: management information  ...  Effect Deviation Size Sequence 46.473 5.337 2.043 0.048 1.000 2.813 Collaboration 50.842 7.639 Table 7 : 7 T-Test of Diagram Quality for Real-Time System Diagram Type Mean Standard t P value Power Effect  ... 
dblp:conf/emmsad/GlezerLNS05 fatcat:ntbeu4swxba3dk5d3mqn2ap25q

Concurrency theory: timed automata, testing, program synthesis

Davide Sangiorgi
2011 Distributed computing  
Traditional automata model the interactions between a system and its environment by retaining only the sequencing of events.  ...  The behaviour of a system is thus the tree, or the set of sequences, of such events.  ...  Traditional automata model the interactions between a system and its environment by retaining only the sequencing of events.  ... 
doi:10.1007/s00446-011-0156-2 fatcat:r6z4smxgfrcwhm5yzoh7sdye7a

Online feedback enhances early consolidation of motor sequence learning and reverses recall deficit from transcranial stimulation of motor cortex

Leonora Wilkinson, Adam Steel, Eric Mooshagian, Trelawny Zimmermann, Aysha Keisler, Jeffrey D. Lewis, Eric M. Wassermann
2015 Cortex  
Participants were also tested for sequence recall with the same indices of learning 60 min after cTBS.  ...  Only the real cTBS group in the non-feedback condition showed no evidence of explicit sequence knowledge when tested at the end of the study.  ...  The sponsors played no role in the study design; in the collection, analysis, and interpretation of data; in the writing of the report; and in the decision to submit the article for publication.  ... 
doi:10.1016/j.cortex.2015.06.012 pmid:26204232 pmcid:PMC4575846 fatcat:ahabn4digrevdcgfteh5zeg7vm

Automatic Video Editing for Video-Based Interactive Storytelling

Edirlei Soares de Lima, Bruno Feijo, Antonio L. Furtado, Angelo Ciarlini, Cesar Pozzer
2012 2012 IEEE International Conference on Multimedia and Expo  
In this paper, we present a real-time editing method for interactive storytelling systems, which automatically generates the most adequate shot transitions, swaps video segments to avoid jump cuts, and  ...  A promising approach to this question is the use of prerecorded videos with real actors.  ...  We claim that the task of developing a general videobased interactive storytelling system should firstly solve two basic problems: real-time video compositing and real-time video editing.  ... 
doi:10.1109/icme.2012.83 dblp:conf/icmcs/LimaFFCP12 fatcat:hd5ktha5ejdw7cjceldkrfud6q

A study of variability induced by events dependency in microelectronic production [article]

Kean Dequeant , Philippe Vialletelle
2017 arXiv   pre-print
We first explain the experiment setting that allows, through simulations and statistical tests, to measure the variability potential stored in a specific sequence of data.  ...  As complex industries require strong levers to allow their tractability, this work underlines the need for a richer and more accurate modelling of real systems.  ...  Figure 1 shows a sequence of down-times and up-times of a specific tool from the Crolles 300 semiconductor fab recorded for a period of 1 year. We call 0 such a particular (real) sequence of events.  ... 
arXiv:1711.06261v1 fatcat:oebdz2nzlfht7nhcqf5und5uuq

A component-based specification approach for embedded systems using FDTs

Abdelaziz Guerrouat, Harald Richter
2005 Proceedings of the 2005 conference on Specification and verification of component-based systems - SAVCBS '05  
This paper presents a framework for specification and testing of component-based embedded systems using formal description techniques (FDTs).  ...  We deal with embedded systems from the point of view of communication and thus we propose a communication model for them.  ...  The language is intended for the specification of complex event-driven real-time, and interactive applications involving many concurrent activities that communicate using discrete signals.  ... 
doi:10.1145/1123058.1123073 fatcat:6xxhp3m2eff7tpo5jcfn6xo3m4

A component-based specification approach for embedded systems using FDTs

Abdelaziz Guerrouat, Harald Richter
2006 Software engineering notes  
This paper presents a framework for specification and testing of component-based embedded systems using formal description techniques (FDTs).  ...  We deal with embedded systems from the point of view of communication and thus we propose a communication model for them.  ...  The language is intended for the specification of complex event-driven real-time, and interactive applications involving many concurrent activities that communicate using discrete signals.  ... 
doi:10.1145/1118537.1123073 fatcat:qmfxxfsqnfbqfnoz6i77iomh3u

Executing Model-Based Tests on Platform-Specific Implementations (T)

Dongjiang You, Sanjai Rayadurgam, Mats P. E. Heimdahl, John Komp, BaekGyu Kim, Oleg Sokolsky
2015 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Model-based testing of embedded real-time systems is challenging because platform-specific details are often abstracted away to make the models amenable to various analyses.  ...  Abstract-Model-based testing of embedded real-time systems is challenging because platform-specific details are often abstracted away to make the models amenable to various analyses.  ...  ACKNOWLEDGMENT We would like to thank Anitha Murugesan at the University of Minnesota, for providing support for the Simulink and Stateflow models.  ... 
doi:10.1109/ase.2015.64 dblp:conf/kbse/YouRHKKS15 fatcat:qh6ocqdd4jblfmjriasuwehzvm

AUTOMATIC VIDEO EDITING FOR VIDEO-BASED INTERACTIVE STORYTELLING

EDIRLEI SOARES DE LIMA, BRUNO FEIJO, ANTONIO LUZ FURTADO, ANGELO ERNANI MAIA CIARLINI, CESAR TADEU POZZER
2018 Monografias em Ciência da Computação  
In this paper, we present an effective method based on cinematography principles that automatically edit segments of videos in real-time, while the plot is being generated by an interactive storytelling  ...  The development of interactive storytelling systems with the quality of feature films is a hard challenge. A promising approach to this problem is the use of recorded videos to dramatize the stories.  ...  Acknowledgments The authors would like to thank CAPES and CNPq for giving financial support to their research projects.  ... 
doi:10.17771/pucrio.dimcc.24298 fatcat:k3nz6nvqznaedh6koxt6oe7vzu

HomeGuardian: Detecting Anomaly Events in Smart Home Systems

Xuan Dai, Jian Mao, Jiawei Li, Qixiao Lin, Jianwei Liu, Yan Huang
2022 Wireless Communications and Mobile Computing  
As a typical application of Internet of Things (IoT), home automation systems, namely, smart homes, provide a more convenient and intelligent life experience through event recognition, automation control  ...  However, smart home systems have also given rise to new complications for security issues.  ...  We use dynamic time warping (DTW for short) as an algorithm measuring the distance between a couple of time series and calculate similarity distances L DTW between a predicted sequence A′ and a real sequence  ... 
doi:10.1155/2022/8022033 fatcat:iulgzyplprh3rj4jbapkw3re7m
« Previous Showing results 1 — 15 out of 461,025 results