590 search results - page 67 / 118 » Patterns of Change in Design Metaphor: A Case Study |
TACAS
1998
Springer
14 years 1 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
CACM
1998
13 years 8 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
SAGT
2009
Springer
14 years 3 months ago
2009
Springer
We study the survivable version of the game theoretic network formation model known as the Connection Game, originally introduced in [5]. In this model, players attempt to connect ...
ECBS
2009
IEEE
14 years 3 months ago
2009
IEEE
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...
ICASSP
2011
IEEE
13 years 18 days ago
2011
IEEE
We study the problem of automatic “reduced reference” image quality assessment algorithms from the point of view of image information change. Algorithms that measure differenc...