Sciweavers

15636 search results - page 205 / 3128
» Modelling by supersaturated designs
Sort
View
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
16 years 28 days ago
A Formal Model for Integrating Multiple Views
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
Juliana Küster Filipe Bowles, Behzad Bordbar
EMISA
2004
Springer
15 years 12 months ago
A Comparison of XML Interchange Formats for Business Process Modelling
: This paper addresses heterogeneity of business process metamodels and related interchange formats. The different approaches towards interchange format design and effects of inter...
Jan Mendling, Gustaf Neumann, Markus Nüttgens
DATE
1999
IEEE
81views Hardware» more  DATE 1999»
15 years 11 months ago
A Power Estimation Model for High-Speed CMOS A/D Converters
Power estimation is important for system-level exploration and trade-off analysis of VLSI systems. A power estimator for high-speed analog to digital converters that exploits info...
Erik Lauwers, Georges G. E. Gielen
JCISE
2002
128views more  JCISE 2002»
15 years 6 months ago
A Collaborative Framework for Integrated Part and Assembly Modeling
An ideal product modeling system should support both part modeling and assembly modeling, instead of just either of them as is the case in most current CAD systems. A good basis f...
Rafael Bidarra, Niels Kranendonk, Alex Noort, Will...
MODELS
2009
Springer
15 years 11 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...