4460 search results - page 133 / 892 » Formal methods for interactive systems |
115
Voted
ECTEL
2009
Springer
15 years 10 months ago
2009
Springer
Technology enhanced learning environments are characterized by socio-technical interactions. Socio-technical interactions involve individuals interacting with (a) technologies, and...
109
click to vote
ICS
2010
Tsinghua U.
15 years 8 months ago
2010
Tsinghua U.
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
119
click to vote
JUCS
2008
15 years 3 months ago
2008
: This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates ...
121
click to vote
FASE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
125
Voted
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...