Search results for " Software Engineering"

showing 10 items of 582 documents

Proton shape fluctuation and its relation to DIS

2018

We review the recent progress in extracting the proton fluctuating substructure by studying exclusive processes at HERA, and the applications of these developments in the interpretation of the LHC heavy ion data. The possibilities to extract the proton geometry directly from the LHC high-multiplicity proton-nucleus and proton-proton collision data is also discussed. peerReviewed

protonitProtonRelation (database)Nuclear Theory02 engineering and technologyhiukkasfysiikkaInterpretation (model theory)Nuclear physicsdeep inelastic scattering0202 electrical engineering electronic engineering information engineering0501 psychology and cognitive sciencesproton-nucleus collisionproton substructureNuclear Experiment050107 human factorsPhysicsLarge Hadron Colliderta11405 social sciencesHigh Energy Physics::Phenomenology020207 software engineeringHERACollisionSubstructurePhysics::Accelerator PhysicsHeavy ionproton-proton collisionsPoS : Proceedings of Science
researchProduct

System for Executing Encrypted Java Programs

2017

pääsynvalvontavirtualisointiJavaComputer sciencetrusted computing02 engineering and technologycomputer.software_genreEncryptionReal time Java020204 information systems0202 electrical engineering electronic engineering information engineeringtietoturvahypervisorJava appletcomputer.programming_languageta113Programming languagebusiness.industrystrictfp020207 software engineeringvirtualizationJava concurrencyremote attestationbusinesscomputerJava annotationJavaProceedings of the 3rd International Conference on Information Systems Security and Privacy
researchProduct

Embracing iterations in Quantum software: a vision

2022

In today’s software engineering, iterations, affordable en masse, form an important part of just about any system. However, not all computing resources are cheap to consume. In High-Performance (HPC) and Quantum Computing (QC), executions can consume considerable amounts of energy and time, which is reserved and used even if the very first steps in the process fail. This means that developers must assume a different attitude towards programming, and aim at error-free software before its execution. This is com monly facilitated using simulators, which are commonplace for both HPC and QC. However the fashion developers advance from one tool to another is ad-hoc, with no established software e…

quantum software engineeringiterointiohjelmistosuunnittelusoftware prototypingohjelmistotuotantosimulointiquantum computing quantum IDEkvanttilaskentaohjelmistokehityssoftware development techniquesProceedings of the 1st International Workshop on Quantum Programming for Software Engineering
researchProduct

Automated transient hypertext support for software maintenance

2000

reverse engineeringsoftware maintenanceprogram comprehensionprogram analysisprogram slicingylläpitohypertekstiohjelmointiCASE (Computer Assisted/Aided Software Engineering)atk-ohjelmathypertext
researchProduct

A Multi-Projector Calibration Method for Virtual Reality Simulators with Analytically Defined Screens

2017

The geometric calibration of projectors is a demanding task, particularly for the industry of virtual reality simulators. Different methods have been developed during the last decades to retrieve the intrinsic and extrinsic parameters of projectors, most of them being based on planar homographies and some requiring an extended calibration process. The aim of our research work is to design a fast and user-friendly method to provide multi-projector calibration on analytically defined screens, where a sample is shown for a virtual reality Formula 1 simulator that has a cylindrical screen. The proposed method results from the combination of surveying, photogrammetry and image processing approac…

simulatorComputer scienceCalibration (statistics)ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISIONImage processing02 engineering and technologyVirtual realitylcsh:Computer applications to medicine. Medical informatics01 natural scienceslcsh:QA75.5-76.95010309 opticsSimulació per ordinadorComputer graphics (images)0103 physical sciences0202 electrical engineering electronic engineering information engineeringimage processing; projector calibration; virtual reality; simulator; surveyingRadiology Nuclear Medicine and imagingPoint (geometry)lcsh:PhotographysurveyingElectrical and Electronic EngineeringRealitat virtualProcess (computing)020207 software engineeringlcsh:TR1-1050Computer Graphics and Computer-Aided DesignSample (graphics)projector calibrationimage processingTask (computing)Photogrammetryvirtual realitylcsh:R858-859.7lcsh:Electronic computers. Computer scienceComputer Vision and Pattern RecognitionImatges ProcessamentJournal of Imaging
researchProduct

Numerical methods for a nonlinear impact model: A comparative study with closed-form corrections

2011

A physically based impact model-already known and exploited in the field of sound synthesis-is studied using both analytical tools and numerical simulations. It is shown that the Hamiltonian of a physical system composed of a mass impacting on a wall can be expressed analytically as a function of the mass velocity during contact. Moreover, an efficient and accurate approximation for the mass outbound velocity is presented, which allows to estimate the Hamiltonian at the end of the contact. Analytical results are then compared to numerical simulations obtained by discretizing the system with several numerical methods. It is shown that, for some regions of the parameter space, the trajectorie…

sound synthesis0209 industrial biotechnologyMathematical optimizationnumerical analysisaudio signal processingAcoustics and UltrasonicsDiscretizationComputer sciencePhysical system02 engineering and technologyParameter spaceEnergy conservationsymbols.namesake020901 industrial engineering & automation0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringComputer simulationSettore INF/01 - Informaticasound synthesis; numerical analysis; audio signal processingNumerical analysisMathematical analysisphysics computing020207 software engineeringimpact modelingimpact soundsEnergy conservationNonlinear systemnumerical simulationsymbolsnonlinear dynamical systemHamiltonian (quantum mechanics)
researchProduct

Seeking Technical Debt in Critical Software Development Projects : An Exploratory Field Study

2016

In recent years, the metaphor of technical debt has received considerable attention, especially from the agile community. Still, despite the fact that agile practices are increasingly used in critical domains, to the best of our knowledge, there are no studies investigating the occurrence of technical debt in critical software development projects. The results of an exploratory field study conducted across several projects reveal that a variety of business and environmental factors cause the occurrence of technical debt in critical domains. Using Grounded Theory method, these factors are categorized as ambiguity of requirement, diversity of projects, inadequate knowledge management, and res…

ta113Agile usability engineeringKnowledge managementbusiness.industryEmpirical process (process control model)Agile Unified Process020207 software engineering02 engineering and technologySoftware peer reviewcomputer.software_genreExtreme programming practicestechnical debtTechnical debt020204 information systemssoftware development0202 electrical engineering electronic engineering information engineeringLean software developmentbusinessohjelmistokehityscomputerAgile software development
researchProduct

SearchBot: Supporting voice conversations with proactive search

2018

Searching during conversations and social interactions is becoming increasingly common. Although searching could be helpful for solving arguments, building common ground, and reinforcing mutual assumptions, it can also cause inter-actional problems. Proactive search approaches can enrich conversations with additional information without neglecting the shared and established social norms of being attentive to ongoing interaction. This demo showcases SearchBot, a tool that minimizes the issues associated with the practice of searching during conversations. It accomplishes this by tracking conversational background speech and then providing continuous recommendations of related documents and e…

ta113Computer science05 social sciencesCommon ground020207 software engineering02 engineering and technologyVoice user interfaceHuman–computer interaction0202 electrical engineering electronic engineering information engineering0501 psychology and cognitive sciencesProactive searchTracking (education)Background speechSpoken conversation support050107 human factorsVoice user interface
researchProduct

A Serendipity-Oriented Greedy Algorithm for Recommendations

2017

Most recommender systems suggest items to a user that are popular among all users and similar to items the user usually consumes. As a result, a user receives recommendations that she/he is already familiar with or would find anyway, leading to low satisfaction. To overcome this problem, a recommender system should suggest novel, relevant and unexpected, i.e. serendipitous items. In this paper, we propose a serendipity-oriented algorithm, which improves serendipity through feature diversification and helps overcome the overspecialization problem. To evaluate our algorithm and compare it with others, we employ a serendipity metric that captures each component of serendipity, unlike the most …

ta113SerendipityComputer sciencebusiness.industrysuosittelujärjestelmät020207 software engineeringserendipity02 engineering and technologyalgorithmsunexpectednessnoveltyalgoritmit0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingArtificial intelligencerecommender systemsGreedy algorithmbusinessGreedy randomized adaptive search procedure
researchProduct

Domain Specific Case Tool for ICT-Enabled Service Design

2014

One major problem in service design is the limited availability of information gathered during the development process. In particular, information on end-user requirements is difficult for designers, developers, and maintainers to access. Here, we provide a mechanism that supports the gathering and modeling of various types of information throughout the service and software development life cycle. As various existing tools focus on a particular part of the life cycle, essential information is not available, or it is more difficult to obtain in later stages. The linkage between information collected in the different stages is often lost. The implemented tool support enables the modeling of r…

ta113Service (systems architecture)Computer sciencebusiness.industryService designDomain (software engineering)SoftwareUnified Modeling LanguageInformation and Communications TechnologySystems development life cycleComponent (UML)Component-based software engineeringSoftware engineeringbusinessComputer-aided software engineeringcomputercomputer.programming_language2014 47th Hawaii International Conference on System Sciences
researchProduct