Sciweavers

149 search results - page 29 / 30
» CiCUTS: Combining System Execution Modeling Tools with Conti...
Sort
View
EMSOFT
2005
Springer
13 years 10 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
CGI
2006
IEEE
13 years 11 months ago
Spline Thin-Shell Simulation of Manifold Surfaces
It has been technically challenging to effectively model and simulate elastic deformation of spline-based, thin-shell objects of complicated topology. This is primarily because tra...
Kexiang Wang, Ying He 0001, Xiaohu Guo, Hong Qin
DATE
2005
IEEE
152views Hardware» more  DATE 2005»
13 years 10 months ago
Design of Fault-Tolerant and Dynamically-Reconfigurable Microfluidic Biochips
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...
Fei Su, Krishnendu Chakrabarty
SIGSOFT
2001
ACM
14 years 5 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel
ICSM
2005
IEEE
13 years 10 months ago
Co-Change Visualization
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
Dirk Beyer