Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Advanced Topics in Measurements

Author:Zahurul Haq Md.
Publisher:IntechOpen
Abstract: Measurement is a multidisciplinary experimental science. Measurement systems synergistically blend …

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Author:Omri Fouad ben Nas
Publisher:KIT Scientific Publishing
Abstract: This work developed an automatic approach for the assessment of software reliability which is both …

Web engineering for workflow-based applications: models, systems and methodologies

Author:Freudenstein Patric
Publisher:KIT Scientific Publishing
Abstract: Workflow-based Web applications present a central pillar of companies' endeavors towards increased …

View-based textual modelling

Author:Goldschmidt Thoma
Publisher:KIT Scientific Publishing
Abstract: This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS incl…

XoveTIC 2018

Author:Javier Pereira (Ed.), Manuel G. Penedo (Ed.), Maria Montero (Ed.), Ignacio Fraga (Ed.), Alberto Alvarellos (Ed.
Publisher:MDPI - Multidisciplinary Digital Publishing Institute
Abstract: [This issue of Proceedings gathers papers presented at XOVETIC2018 (A Coruña, Spain, 27–28 Septembe…

XoveTIC 2019: The 2nd XoveTIC Conference (XoveTIC 2019) A Coruña, Spain, 5–6 September 2019

Author:González Penedo Manuel, Botana Barreiro Beatriz, Pereira Loureiro Javier, González Alberto, de Moura Ramos Jos
Publisher:MDPI - Multidisciplinary Digital Publishing Institute
Abstract: This issue of Proceedings gathers papers presented at XOVETIC2019 (A Coruña, Spain, 5-6 September 2…

World Modeling for Intelligent Autonomous Systems

Author:Belkin Andre
Publisher:KIT Scientific Publishing
Abstract: The functioning of intelligent autonomous systems requires constant situation awareness and cogniti…

Tracking Extended Objects with Active Models and Negative Measurements

Author:Zea Cobo Antonio Klebe
Publisher:KIT Scientific Publishing
Abstract: Extended object tracking deals with estimating the shape and pose of an object based on noisy point…

Tool-supported identification of functional concerns in object-oriented code

Author:Trifu Mirce
Publisher:KIT Scientific Publishing
Abstract: Concern identification aims to find the implementation of a functional concern in existing source c…

Parameter dependencies for reusable performance specifications of software components

Author:Koziolek Heik
Publisher:KIT Scientific Publishing
Abstract: To avoid design-related per­for­mance problems, model-driven performance prediction methods analyse…
Privacy Policy
Powered by: