9067 search results - page 1677 / 1814 » Adaptive Model Checking |
179
click to vote
ACSW
2006
15 years 7 months ago
2006
Computational grids are now widespread, but their large-scale behaviour is still poorly understood. We report on some calculations of loading, scaling and utilisation behaviours o...
156
click to vote
CADUI
2004
15 years 7 months ago
2004
Abstract This paper shows a technique that allows adaptive user interfaces, spanning multiple devices, to be rendered from the task specification at runtime taking into account the...
172
click to vote
CADUI
2006
15 years 7 months ago
2006
Three types of representation are typically produced during the User Interface (UI) development life cycle: a conceptual representation holding the models used for elaborating a UI...
221
click to vote
CRIWG
2004
15 years 7 months ago
2004
Abstract. Creativity has become an important factor in recent years, as companies need to be able to quickly adapt to take advantage of new opportunities and handle fast paced chan...
174
click to vote
CSREASAM
2006
15 years 7 months ago
2006
Considering disaster sensitivity especially in developing large-scale, multiple-use parking structures, we propose dual-surveillance based SCADA (supervisory control and data acqui...