257 search results - page 41 / 52 » Specification of Real-Time Interaction Constraints |
FMCO
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
76
Voted
FLAIRS
2007
14 years 11 months ago
2007
Problem solvers, both human and machine, have at their disposal many heuristics that may support effective search. The efficacy of these heuristics, however, varies with the probl...
IJHCI
2008
14 years 9 months ago
2008
Media research has shown that people enjoy watching television as a part of socializing in groups. However, many constraints in daily life limit the opportunities for doing so. Th...
AUTOMATICA
2005
14 years 9 months ago
2005
The links between identification and control are examined. The main trends in this research area are summarized, with particular focus on the design of low complexity controllers ...
COMCOM
2000
14 years 9 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...