1054 search results - page 152 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
140
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
146
click to vote
CEAS
2008
Springer
15 years 6 months ago
2008
Springer
Human interpersonal face-to-face interaction can be considered in terms of successions of speech acts. These are utterances which contain an intention, and the act of creating an ...
135
click to vote
HCI
2009
15 years 1 months ago
2009
Abstract. Although older people are an important user group for smart environments, there has been relatively little work on adapting natural language interfaces to their requireme...
146
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
125
click to vote
JSW
2007
15 years 4 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...