4460 search results - page 164 / 892 » Formal methods for interactive systems |
124
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
115
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
104
click to vote
NORDICHI
2006
ACM
15 years 9 months ago
2006
ACM
Downstream utility is a critical success factor for usability evaluation methods, in terms of the extent to which they can deliver value. In this paper we argue that field methods...
117
click to vote
HCI
2007
15 years 5 months ago
2007
Abstract. The increasing capabilities of experimental household robot platforms require more and more sophisticated methods of interaction. While there are many developments in all...
129
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...