Sciweavers

12333 search results - page 523 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
16 years 8 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ER
2007
Springer
106views Database» more  ER 2007»
16 years 1 months ago
Modeling and Engineering Adaptive Complex Systems
This paper describes a strategy for modeling and engineering complex e-business systems with built-in quality of adaptiveness. The paper explains the philosophical and scientific ...
Leszek A. Maciaszek
HYBRID
2007
Springer
16 years 1 months ago
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems
Abstract. A measure differential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...
Kerim Yunt, Christoph Glocker
SMI
2006
IEEE
111views Image Analysis» more  SMI 2006»
16 years 1 months ago
A Fast Particle System Framework for Interactive Implicit Modeling
In this paper, we present a controllable, fast and efficient particle system framework for skeletal implicit surfaces defined by the BlobTree model. We propose efficient algori...
Eric Galin, Rémi Allègre, Samir Akko...
ATC
2006
Springer
15 years 10 months ago
Multi-level Model-Based Self-diagnosis of Distributed Object-Oriented Systems
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
A. Reza Haydarlou, Benno J. Overeinder, Michel A. ...