2834 search results - page 220 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
135
click to vote
SIGADA
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
140
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
290
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
151
click to vote
ISVLSI
2007
IEEE
16 years 26 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
153
click to vote
APCCAS
2006
IEEE
16 years 19 days ago
2006
IEEE
— DAB is a growing communication technology for digital audio broadcasting and demands higher concentration on flexible and cost optimum implementations for use in new mobile ele...