EXACT
2007
13 years 11 months ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...
EXACT
2007
13 years 11 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
EXACT
2007
13 years 11 months ago
2007
In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
CF
2010
ACM
13 years 11 months ago
2010
ACM
Cache memories currently treat all blocks as if they were equally important, but this assumption of equally importance is not always valid. For instance, not all blocks deserve to...
GROUP
2009
ACM
13 years 12 months ago
2009
ACM
Collaborative brainstorming can be a challenging but important part of creative group problem solving. Mind-mapping has the potential to enhance the brainstorming process but has ...
GRC
2009
IEEE
13 years 12 months ago
2009
IEEE
This paper proposes a code granulation space which can be applied to program construction and processing. Each granule in the space is defined as an improvement to the seed progra...
FCT
2009
Springer
13 years 12 months ago
2009
Springer
EICS
2009
ACM
13 years 12 months ago
2009
ACM
Due to the large amount of mobile devices that continue to appear on the consumer market, mobile user interface design becomes increasingly important. The major issue with many ex...
EICS
2010
ACM
14 years 2 hour ago
2010
ACM
In this paper we present Malai, a model-based user interface development environment. Malai is dedicated to the conception of post-WIMP (Window, Icon, Menu, Pointing device) inter...
EDCC
2010
Springer
14 years 2 hour ago
2010
Springer
