2695 search results - page 410 / 539 » A Visual Approach to Validating System Level Designs |
112
Voted
MM
2003
ACM
15 years 8 months ago
2003
ACM
This demonstration will illustrate the key technical and user interface aspects of the Web Adaptation Technology. Various transformations underlying the system will be shown that ...
164
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
143
click to vote
DIAGRAMS
2004
Springer
15 years 7 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
102
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
133
click to vote
MIR
2010
ACM
15 years 3 months ago
2010
ACM
Ideally, one would like to perform image search using an intuitive and friendly approach. Many existing image search engines, however, present users with sets of images arranged i...