Sciweavers

3387 search results - page 342 / 678
» Automating the Metamodeling Process
Sort
View
COMPSAC
2006
IEEE
16 years 23 days ago
Tool Support to Model-based Quality Analysis of Software Architecture
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
Qian Zhang, Jian Wu, Hong Zhu
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
16 years 23 days ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
ICRA
2006
IEEE
114views Robotics» more  ICRA 2006»
16 years 22 days ago
Blades: a New Class of Geometric Primitives for Feeding 3D Parts on Vibratory Tracks
Abstract— The vibratory bowl feeder remains the most common approach to the automated feeding (orienting) of industrial parts. We study the algorithmic design of devices on the b...
Onno C. Goemans, Kenneth Y. Goldberg, A. Frank van...
CSB
2005
IEEE
129views Bioinformatics» more  CSB 2005»
16 years 9 days ago
Deformable Modeling for Improved Calculation of Molecular Velocities from Single-Particle Tracking
Single-particle tracking provides a powerful technique for measuring dynamic cellular processes on the level of individual molecules. Much recent work has been devoted to using si...
Peter M. Kasson, Mark M. Davis, Axel T. Brüng...
EEE
2005
IEEE
16 years 9 days ago
SLA Representation, Management and Enforcement
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
Adrian Paschke, Martin Bichler