Sciweavers

7366 search results - page 456 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
16 years 6 days ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
ISSAC
2009
Springer
141views Mathematics» more  ISSAC 2009»
16 years 2 months ago
Algorithms for regular solutions of higher-order linear differential systems
We study systems of higher-order linear differential equations having a regular singularity at the origin. Using the properties of matrix polynomials, we develop efficient method...
Moulay A. Barkatou, Thomas Cluzeau, Carole El Bach...
EUC
2007
Springer
16 years 1 months ago
Integrated Global and Local Quality-of-Service Adaptation in Distributed, Heterogeneous Systems
Abstract. In this paper we have developed a method for an efficient Quality-ofService provision and adaptation in dynamic, heterogeneous systems, based on our Matrix framework for...
Larisa Rizvanovic, Damir Isovic, Gerhard Fohler
MIR
2004
ACM
92views Multimedia» more  MIR 2004»
16 years 1 months ago
Researchexplorer: gaining insights through exploration in multimedia scientific data
An increasing amount of heterogeneous information about scientific research is becoming available on-line. This potentially allows users to explore the information from multiple p...
Bo Gong, Rahul Singh, Ramesh Jain
AUTOMOTIVEUI
2009
ACM
16 years 2 months ago
Acceptance of future persuasive in-car interfaces towards a more economic driving behaviour
Measuring user acceptance to avoid system rejection by the users in pre-prototype stage of product development is of high interest for both researchers and practitioners. This is ...
Alexander Meschtscherjakov, David Wilfinger, Thoma...