English
Magyar
Projects
Aim of the project is to develop a set of optimal - service-price dependent - mobile payment solutions. With these payment modules creators of digital content can enforce the users to pay for...
The MOGENTES - Model Driven Development of Tests for Embedded Systems project aims at significantly enhancing testing and verification of dependable embedded systems by means of automated...
The goal of the research was to investigate solutions, which make the use of complex software systems definitely simpler. Two approaches were examined. Intelligent user interfaces allow the use of...
Signal processing is one of the most important research and education areas of the Department of Measurement and Information Systems, Budapest University of Technology and Economics. Signal...
The objectives of the research project is the development of a general framework based on state of the art object oriented CASE technologies, allowing the modell based description and mathematical...
Objectives.The objective of the NEXT TTA project is to further improve the dependability and functionality of the time-triggered architecture (TTA). In particular the NEXT TTA project aims to:...
The project continues the successful Flemish-Hungarian partnership of NonLin97.
Big organizations are very dependent from their complex IT systems, hence incidental data loss or database inconsistency caused by stop of their systems, may cause significant financial damage to...
Good implementation of systems (especially those supporting critical applications) alone does not assure that a proper quality of service will be delivered by the system in operations. From the...
Building on the Trusted Platform Module (TPM) specified by the Trusted Computing Group (TCG) and the new generation of x86 CPUs from Intel and AMD, the Open Trusted Computing (OpenTC) project will...
Petri nets are widely used as an underlying framework for formalizing and verifying IT system models. Based on their easy-to-understand graphical representation, rich mathematical background, and...
Offering small, portable and more economical organs for home, studio and stage applications is a long-standing problem in the research of sound synthesis methods. The well-known PCM or Sampling...
Measurements were completed (impedance of the lower arm, PPG signal during blood pressure measurement) on 100 healthy subjects. Based on the data a model was defined that can be used in patient...
The new algorithms increase the accuracy of passive marker-based motion analyzers by giving a better estimate for the centre of marker images than the classic methods. The new algorithms are...