9110 search results - page 3 / 1822 » Formally-Based Design Evaluation |
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
WSC
2007
14 years 1 months ago
2007
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...
AAAI
2012
12 years 1 months ago
2012
In many mechanisms (especially online mechanisms), a strategic agent can influence the outcome by creating multiple false identities. We consider voting settings where the mechan...
BCSHCI
2007
14 years 9 days ago
2007
This paper reflects on the design value that emerges from evaluation methods used in the field of child computer interaction. The work is based around an evaluation study of a tan...
IV
1998
IEEE
14 years 3 months ago
1998
IEEE
A number of three-dimensional information visualization designs have been invented during the last years. However, comparisons of such designs have been scarce, making it di cult ...