Sciweavers

1675 search results - page 38 / 335
» Compositional Model-Based Design
Sort
View
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
14 years 1 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
AAAI
1996
13 years 11 months ago
Comet: An Application of Model-Based Reasoning to Accounting Systems
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
Robert Nado, Melanie Chams, Jeff Delisio, Walter H...
VL
2003
IEEE
155views Visual Languages» more  VL 2003»
14 years 3 months ago
A human-centric tool for component design and reuse in the UML
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...
Ella E. Roubtsova, Serguei A. Roubtsov
ECOOP
1998
Springer
14 years 2 months ago
Implementing Layered Designs with Mixin Layers
Mixin layers are a technique for implementing layered object-oriented (e.g., collaboration-based designs). Mixin layers are similar to abstract subclasses (mixin classes) but scale...
Yannis Smaragdakis, Don S. Batory
ISQED
2006
IEEE
142views Hardware» more  ISQED 2006»
14 years 3 months ago
Constructing Current-Based Gate Models Based on Existing Timing Library
Current-based gate modeling achieves a new level of accuracy in nanoscale design timing and signal integrity analysis. However, to generate current-based gate models requires addi...
Andrew B. Kahng, Bao Liu, Xu Xu