Search results for "computer.software_genre"

showing 10 items of 3858 documents

Constructive Dynamic Program Slicing Research

2010

Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the theory of slicing. However, slicing is still not widely applied in software industry. Therefore, there is a need to survey and characterize the conducted research and to analyze what problems hinder progress. This paper answers to that need by providing a survey of constructive dynamic program slicing research focusing on publication series with high visibility. The survey identified 12 dynamic slicers related to which 12 aspects were studied. The analysis revealed many issues which can be seen both as concerns and…

General Computer ScienceComputer sciencebusiness.industryScientific progressmedia_common.quotation_subjectComputer securitycomputer.software_genreData scienceSlicingConstructiveVisualizationScarcitySoftwareEmpirical researchProgram slicingbusinesscomputermedia_commonInternational Journal of Advancements in Computing Technology
researchProduct

A platform for the development and the validation of HW IP components starting from reference software specifications

2008

Abstract Signal processing algorithms become more and more efficient as a result of the developments of new standards. It is particularly true in the field video compression. However, at each improvement in efficiency and functionality, the complexity of the algorithms is also increasing. Textual specifications, that in the past were the original form of specifications, have been substituted by reference software which became the starting point of any design flow leading to implementation. Therefore, designing an embedded application has become equivalent to port a generic software on a, possibly heterogeneous, embedded platform. Such operation is getting more and more difficult because of …

General Computer ScienceComputer sciencelcsh:TK7800-836002 engineering and technologycomputer.software_genre0202 electrical engineering electronic engineering information engineeringSoftware verification and validation[ INFO.INFO-ES ] Computer Science [cs]/Embedded SystemsSoftware design descriptionComputingMilieux_MISCELLANEOUSbusiness.industrylcsh:ElectronicsACMSoftware development020202 computer hardware & architectureSoftware frameworkComputer architectureControl and Systems EngineeringEmbedded systemSoftware constructionComponent-based software engineeringSoftware designAvionics software020201 artificial intelligence & image processing[INFO.INFO-ES]Computer Science [cs]/Embedded SystemsbusinesscomputerComputer Science(all)
researchProduct

Content quality assessment and acceptance testing in location‐based services

2006

In this paper, we develop and evaluate an approach to assessing the content quality in a location‐based service (LBS). The proposed approach, instead of assessing the quality in absolute terms such as completeness or accuracy, measures the effect that the imperfection of the content is having on the reliability of that specific LBS. We apply the basic ideas from Software Reliability Engineering (SRE), but develop a modification of SRE, 2‐Branch, in order to separate content quality from other factors, such as positioning imprecision, and to reduce the measurement error. In our experimental study, we first compare 2‐Branch to the standard SRE, after which we experimentally analyze some prope…

General Computer ScienceComputer sciencemedia_common.quotation_subjectContext (language use)computer.software_genreSoftware qualityOracleTheoretical Computer ScienceReliability engineeringAcceptance testingLocation-based serviceQuality (business)Data miningcomputerReliability (statistics)media_commonStatistical hypothesis testingInternational Journal of Pervasive Computing and Communications
researchProduct

A framework for behavior-based detection of user substitution in a mobile context

2007

Personal mobile devices, such as mobile phones, smartphones, and communicators can be easily lost or stolen. Due to the functional abilities of these devices, their use by unintended persons may result in severe security breaches concerning private or corporate data and services. Organizations develop their security policy and employ preventive techniques to combat unauthorized use. Current solutions, however, are still breakable and there is a strong need for means to detect user substitution when it happens. A crucial issue in designing such means is to define the measures to be monitored. In this paper, a structured conceptual framework for mobile-user substitution detection is proposed.…

General Computer ScienceComputer sciencemedia_common.quotation_subjectUser modelingSubstitution (logic)Computer user satisfactionIntrusion detection systemComputer securitycomputer.software_genreSecurity policyUser interface designHuman–computer interactionPersonalityLawcomputerMobile devicemedia_commonComputers & Security
researchProduct

Assessing the Performance of Interactive Multiobjective Optimization Methods

2021

Interactive methods are useful decision-making tools for multiobjective optimization problems, because they allow a decision-maker to provide her/his preference information iteratively in a comfortable way at the same time as (s)he learns about all different aspects of the problem. A wide variety of interactive methods is nowadays available, and they differ from each other in both technical aspects and type of preference information employed. Therefore, assessing the performance of interactive methods can help users to choose the most appropriate one for a given problem. This is a challenging task, which has been tackled from different perspectives in the published literature. We present a …

General Computer ScienceComputer sciencepäätöksenteko0211 other engineering and technologiespreference information02 engineering and technologyMachine learningcomputer.software_genreMulti-objective optimizationTheoretical Computer ScienceTask (project management)menetelmätoptimointi0202 electrical engineering electronic engineering information engineering021103 operations researchbusiness.industryinteractive methodsmonitavoiteoptimointidecision-makersPreferenceVariety (cybernetics)Multiobjective optimization probleminteraktiivisuusmultiobjective optimization problems020201 artificial intelligence & image processingperformance assessmentArtificial intelligencebusinesscomputerACM Computing Surveys
researchProduct

The potential of temporal analysis: Combining log data and lag sequential analysis to investigate temporal differences between scaffolded and non-sca…

2020

This paper contributes to the ongoing discussion about analysing the temporal aspects of learning processes in the educational technology research field. Our main aim was to advance methods for analysing temporal aspects of technology-enhanced learning (TEL) processes by introducing the temporal lag sequential analysis (TLSA) technique and by combining TLSA with temporal log data analysis (TLDA). Our secondary aim was to illustrate the potential of these two analysis techniques to reveal the differences between the face-to-face technology-enhanced collaborative inquiry-based learning (CIBL) processes of three different conditions (non-scaffolded, writing scaffolded and script scaffolded gro…

General Computer ScienceComputer sciencescaffoldingcomputer.software_genre050105 experimental psychologyField (computer science)Computer-Supported Collaborative LearningEducationMoodleLog datatietokoneavusteinen oppiminentechnology-enhanced inquiry0501 psychology and cognitive sciencesyhteisöllinen oppiminenlag sequential analysisbusiness.industryGroup (mathematics)05 social sciencesEducational technology050301 educationIntelligent Tutoring SystemsLag sequential analysisAsynchronous communicationpostsecondary educationkorkeakouluopiskeluInquiry-based learningScreen captureArtificial intelligencebusinesscooperative/collaborative learning0503 educationcomputeroppimisprosessiNatural language processingComputers & Education
researchProduct

HyperLabelMe : A Web Platform for Benchmarking Remote-Sensing Image Classifiers

2017

HyperLabelMe is a web platform that allows the automatic benchmarking of remote-sensing image classifiers. To demonstrate this platform's attributes, we collected and harmonized a large data set of labeled multispectral and hyperspectral images with different numbers of classes, dimensionality, noise sources, and levels. The registered user can download training data pairs (spectra and land cover/use labels) and submit the predictions for unseen testing spectra. The system then evaluates the accuracy and robustness of the classifier, and it reports different scores as well as a ranked list of the best methods and users. The system is modular, scalable, and ever-growing in data sets and clas…

General Computer ScienceContextual image classificationComputer scienceMultispectral imageRegistered user020206 networking & telecommunications02 engineering and technologyBenchmarkingcomputer.software_genreData setStatistical classificationComputingMethodologies_PATTERNRECOGNITIONRobustness (computer science)ITC-ISI-JOURNAL-ARTICLE0202 electrical engineering electronic engineering information engineeringGeneral Earth and Planetary Sciences020201 artificial intelligence & image processingData miningElectrical and Electronic EngineeringInstrumentationcomputerClassifier (UML)IEEE Geoscience and Remote Sensing Magazine
researchProduct

An Approach to the Automatic Comparison of Reference Point-Based Interactive Methods for Multiobjective Optimization

2021

Solving multiobjective optimization problems means finding the best balance among multiple conflicting objectives. This needs preference information from a decision maker who is a domain expert. In interactive methods, the decision maker takes part in an iterative process to learn about the interdependencies and can adjust the preferences. We address the need to compare different interactive multiobjective optimization methods, which is essential when selecting the most suited method for solving a particular problem. We concentrate on a class of interactive methods where a decision maker expresses preference information as reference points, i.e., desirable objective function values. Compari…

General Computer ScienceLinear programmingProcess (engineering)Computer science020209 energypäätöksentukijärjestelmät02 engineering and technologyMachine learningcomputer.software_genreMulti-objective optimizationtestausdecision makingoptimointi0202 electrical engineering electronic engineering information engineeringGeneral Materials Sciencemultiobjective optimizationElectrical and Electronic EngineeringReliability (statistics)computer.programming_languageClass (computer programming)Iterative and incremental developmentinteractive systemsbusiness.industryGeneral EngineeringPython (programming language)monitavoiteoptimointiPreferencetestingTK1-9971interaktiivisuusoptimization methods020201 artificial intelligence & image processingArtificial intelligenceElectrical engineering. Electronics. Nuclear engineeringbusinesscomputerDecision makingoptimization
researchProduct

Introductory Quantum Physics Courses using a LabVIEW multimedia module

2007

We present the development of a LabVIEW multimedia module for introductory Quantum Physics courses and our experience in the use of this application as an educational tool in learning methodologies. The program solves the Time Dependent Schrodinger Equation for arbitrary potentials. We describe the numerical method used for solving this equation, as well as some mathematical tools employed to reduce the calculation time and to obtain more accurate results. As an illustration, we present the evolution of a wave packet for three different potentials: the repulsive barrier potential, the repulsive step potential, and the harmonic oscillator. This application has been successfully integrated in…

General Computer ScienceMultimediaComputer scienceNumerical analysisGeneral EngineeringFinite difference methodPhysics - Physics EducationFOS: Physical sciencesPhysics::Physics Educationcomputer.software_genreEducationSchrödinger equationSolution of Schrödinger equation for a step potentialsymbols.namesakePhysics Education (physics.ed-ph)Quantum mechanicssymbolscomputerHarmonic oscillator
researchProduct

Quality of Service Management on Multimedia Data Transformation into Serial Stories Using Movement Oriented Method

2011

Multimedia data transformation into serial stories or story board will help to reduce the consumption of storage media, indexing, sorting and searching system. Movement Oriented Method that is being developed changes the form of multimedia data into serial stories. Movement Oriented Method depends on the knowledge each actor who uses it. Different knowledge of each actor in the transformation process raises complex issues, such as the sequence, and the resulted story object that could become the standard. And the most fatal could be, the resulted stories does not same with the original multimedia data. To solve it, the Standard Level Knowledge (SLK) in maintaining the quality of the story c…

General Computer ScienceMultimediaProcess (engineering)Computer scienceQuality of servicemedia_common.quotation_subjectSearch engine indexingData transformationObject (computer science)computer.software_genreTransformation (function)Quality (business)computermedia_commonInternational Journal of Advanced Computer Science and Applications
researchProduct