Search results for "Liability"

showing 10 items of 1754 documents

A modest but practical software process modeling technique for software process improvement

2002

One of the main problems with software engineering is due to the difficulties in evaluating and improving our software processes, especially in the light of the fact that reuse depends on a process which supports it. Generally used approaches to the evaluation and improvement of software processes are based on the CMM, for example. In this paper we present a technique to improve software processes through modeling and evaluation. The presented technique is fairly easy to use, provides reasonably good results and requires only a fraction of resources required by CMM appraisals. Copyright © 2002 John Wiley & Sons, Ltd.

Software Engineering Process GroupComputer sciencebusiness.industrySoftware developmentReliability engineeringSoftware sizingSoftware constructionPersonal software processGoal-Driven Software Development ProcessPackage development processSoftware verification and validationbusinessSoftware engineeringSoftwareSoftware Process: Improvement and Practice
researchProduct

State Model of Service Reliability

2006

We propose a simple formalism for modelling of a service reliability. A service is defined as an ordered set of states of a modelled application. In the model, a certain reliability is assigned to each application state. Reliability of a service is expressed in terms of above partial reliabilities.

Software frameworkComputer scienceSoftware sizingComponent-based software engineeringSoftware reliability testingSoftware systemApplication softwarecomputer.software_genrecomputerSoftware measurementSoftware qualityReliability engineering2006 International Conference on Dependability of Computer Systems
researchProduct

New novel idea for Cloud Computing: How can we use Kalman filter in security of Cloud Computing

2012

Cloud is a virtual image about some amount of undefined powers, that is widespread and had unknown power and inexact amount of hardware and software configurations, and because of we have not any information about clouds location and time dimensions and also the amounts of its sources we tell that Cloud Computing. This technology presents lots of abilities and opportunities such as processing power, storage and accessing it from everywhere, supporting, working - team group - with the latest versions of software and etc., by the means of internet. On the other hand, in such a large scale networks we should consider the reliability and powerfulness of such networks in facing with events such …

SoftwareUtility computingFilter (video)Computer sciencebusiness.industryReliability (computer networking)Distributed computingCloud testingThe InternetCloud computingKalman filterbusiness2012 6th International Conference on Application of Information and Communication Technologies (AICT)
researchProduct

WORKING CAPITAL AS AN ENTERPRISE VALUE ASSESSMENT TOOL

2019

The valuation of an entity in off-exchange transactions involves the use of different techniques. Nevertheless, none of them guarantees the most accurate result. Therefore, it is very difficult to choose one evaluation method. Both investors, corporate managers, financial professionals, portfolio managers, and securities analysts should have a basic understanding of the process of evaluating companies. To that end, professionals recommend evaluating a company’s financial reports to detect its financial position and solvency. According to the methods of financial analysis, working capital is one of the solvency ratios, which describes the value of resources that remain after the company’s cu…

SolvencyCurrent liabilitybusiness.industryWorking capitalEnterprise valueFinancial analysisPosition (finance)PortfolioAccountingcurrent assets current liabilities evaluation methods working capitalbusinessValuation (finance)SOCIETY. INTEGRATION. EDUCATION. Proceedings of the International Scientific Conference
researchProduct

Utilisation of barium-modified analcime in sulphate removal: Isotherms, kinetics and thermodynamics studies

2017

Abstract Analcime and commercial zeolite were employed as a precursor for preparing sorbent material for SO42− removal over barium modification. Three sorbents were prepared: barium-modified analcime (ANA-Na-Ba), barium-modified acid-washed analcime (ANA-Ac-Na-Ba) and barium-modified zeolite (ZSM5-Na-Ba). Of the prepared materials, ANA-Ac-Na-Ba was the most efficient sorbent material for SO42− removal, with a maximum sorption uptake of 13.7 mg g−1 at room temperature. Batch sorption experiments were performed to evaluate the effect of initial pH, initial SO42− concentration, sorbent dosage, temperature and contact time of sorption. Several isotherms were applied to describe the experimental…

SorbentAnalcimeProcess Chemistry and TechnologyKineticsInorganic chemistryChemical modificationchemistry.chemical_elementBariumSorption02 engineering and technology010501 environmental sciencesengineering.material021001 nanoscience & nanotechnology01 natural sciencesAdsorptionchemistryChemical engineeringengineering0210 nano-technologySafety Risk Reliability and QualityZeoliteWaste Management and Disposal0105 earth and related environmental sciencesBiotechnologyJournal of Water Process Engineering
researchProduct

Sound and reusable components for abstract interpretation

2019

Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…

SoundnessComputer scienceProgramming language020207 software engineering02 engineering and technologyStatic analysisReaching definitionReusecomputer.software_genreAbstract interpretation020204 information systems0202 electrical engineering electronic engineering information engineeringArrowHaskellSafety Risk Reliability and QualitycomputerSoftwarecomputer.programming_languageTransformer (machine learning model)Proceedings of the ACM on Programming Languages
researchProduct

Data repeatability and acquisition techniques for Time-Domain Spectral Induced Polarization

2013

The Time Domain Induced Polarization (TDIP) technique is widely used in applied geophysics, particularly for environmental issues, for instance for delineating landfills or detecting leachate percolation. Because the reliability of IP data remains an issue at the field scale, this paper deals with the factors controlling data quality and compares different arrays and acquisition parameters for optimal collection of data in the field. The first part focuses on repeatability experiments carried out in the former Horlokke landfill (Denmark), in order to infer the degree of which a signal can be reproduced over time. Results show a good repeatability, with on average less than 10% of difference…

Spectral induced polarisationgeophysicsMineralogyScale (descriptive set theory)RepeatabilityInduced polarizationSignalGeophysicsData qualityspectral induced polarizationspectralTime domainAlgorithmGeologyReliability (statistics)
researchProduct

The Multivariate Individual Selection of Diagnostic Tests and the Reserved Diagnostic Statement: An Optimum Combination of Two New Methods for the Co…

1984

A combination of two new methods for the diagnostic procedure in computer-aided differential diagnosis is presented. It is constructed on the basis of new results of our own in the field of mathematical decision theory and is demonstrated by the differential diagnosis of congenital heart diseases by means of ECG features.

Statement (computer science)Multivariate statisticsbusiness.industryComputer scienceDecision theoryDiagnostic testMachine learningcomputer.software_genreReliability engineeringComputer-aidedArtificial intelligenceDifferential diagnosisbusinesscomputerSelection (genetic algorithm)
researchProduct

Probabilistic analysis of truss structures with uncertain parameters (virtual distortion method approach)

2004

A new approach for probabilistic characterization of linear elastic redundant trusses with uncertainty on the various members subjected to deterministic loads acting on the nodes of the structure is presented. The method is based on the simple observation that variations of structural parameters are equivalent to superimposed strains on a reference structure depending on the axial forces on the elastic modulus of the original structure as well as on the uncertainty (virtual distortion method approach). Superposition principle may be applied to separate contribution to mechanical response due to external loads and parameter variations. Statically determinate trusses dealt with the proposed m…

Statically indeterminatebusiness.industryMechanical EngineeringLinear elasticityProbabilistic logicAerospace EngineeringTrussTruss structureOcean EngineeringStatistical and Nonlinear PhysicsAsymptotic expansionStructural engineeringCondensed Matter PhysicsVirtual distortion methodSuperposition principleNuclear Energy and EngineeringDistortionUncertain structureProbabilistic analysis of algorithmsbusinessAsymptotic expansionSafety Risk Reliability and QualityCivil and Structural EngineeringMathematics
researchProduct

Atypical transistor-based chaotic oscillators: Design, realization, and diversity

2017

In this paper, we show that novel autonomous chaotic oscillators based on one or two bipolar junction transistors and a limited number of passive components can be obtained via random search with suitable heuristics. Chaos is a pervasive occurrence in these circuits, particularly after manual adjustment of a variable resistor placed in series with the supply voltage source. Following this approach, 49 unique circuits generating chaotic signals when physically realized were designed, representing the largest collection of circuits of this kind to date. These circuits are atypical as they do not trivially map onto known topologies or variations thereof. They feature diverse spectra and predom…

Statistical and Nonlinear Physics; Mathematical Physics; Physics and Astronomy (all); Applied MathematicsChaoticGeneral Physics and AstronomyHardware_PERFORMANCEANDRELIABILITYInductor01 natural sciencesSynchronization010305 fluids & plasmaslaw.inventionPhysics and Astronomy (all)Computer Science::Emerging TechnologiesControl theorylaw0103 physical sciencesAttractorHardware_INTEGRATEDCIRCUITSMathematical Physic010306 general physicsMathematical PhysicsMathematicsElectronic circuitApplied MathematicsTransistorStatistical and Nonlinear Physicsvisual_artElectronic componentSettore ING-INF/06 - Bioingegneria Elettronica E Informaticavisual_art.visual_art_mediumResistorHardware_LOGICDESIGNStatistical and Nonlinear Physic
researchProduct