3828 search results - page 431 / 766 » Proof-Based System Engineering Using a Virtual System Model |
170
click to vote
INTERACT
2007
15 years 8 months ago
2007
User Interface (UI) plasticity denotes UI adaptation to the context of use (user, platform, physical and social environments) while preserving usability. In this article, we focus ...
157
click to vote
COMPUTER
2004
15 years 6 months ago
2004
any benefits. Most significantly, an abstract architectural model can provide a global perspective of the system and expose important system-level properties and integrity constrai...
211
click to vote
WOSP
2005
ACM
16 years 11 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
176
click to vote
PADL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
192
click to vote
ICCS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The complexity of virtual environments has grown spectacularly over the recent years, mainly thanks to the use of the currently cheap high performance graphics cards. As ...