6020 search results - page 825 / 1204 » A New Approach to Model Counting |
150
click to vote
AOSD
2003
ACM
15 years 12 months ago
2003
ACM
From the early days of object-oriented programming, the model-view-controller paradigm has been pursued for a clear design which separates different responsibilities within an in...
158
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
209
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
172
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
We present a new approach for faster rendering of large synthetic environments using video-based representations. We decompose the large environment into cells and pre-compute vid...
207
click to vote
ER
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The increasing importance of better customisation of industrial products has led to development of configurable products. They allow companies to provide product families...