2834 search results - page 417 / 567 » Design Intent-Oriented Modelling Tools for Aesthetic Design |
128
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
132
click to vote
ANSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Computer simulation of switching power converters is complicated by the discontinuous (switching) nature of the converter waveforms. When switching details of the waveforms are of...
146
click to vote
DFG
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
134
click to vote
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
The increasing constraints on power consumption in many computing systems point to the need for power modeling and estimation for all components of a system. The Operating System ...
134
click to vote
AVI
2004
15 years 5 months ago
2004
In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...