Sciweavers

7366 search results - page 456 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 11 months 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 1 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 28 days 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
177
Voted
MIR
2004
ACM
92views Multimedia» more  MIR 2004»
16 years 6 days 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 1 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...