Sciweavers

878 search results - page 38 / 176
» Interacting Abstract State Machines
Sort
View
CHI
2007
ACM
15 years 10 months ago
Usability of voting systems: baseline data for paper, punch cards, and lever machines
In the United States, computer-based voting machines are rapidly replacing other older technologies. While there is potential for this to be a usability improvement, particularly ...
Michael D. Byrne, Kristen K. Greene, Sarah P. Ever...
COMPSAC
2007
IEEE
15 years 4 months ago
An Automatic Connector Generation Method for Dynamic Architecture
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
Yiming Yang, Xin Peng, Wenyun Zhao
STACS
2010
Springer
15 years 4 months ago
Evolving Multialgebras Unify All Usual Sequential Computation Models
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
Serge Grigorieff, Pierre Valarcher
ECTEL
2010
Springer
14 years 8 months ago
Who Students Interact With? A Social Network Analysis Perspective on the Use of Twitter in Language Learning
Abstract. This paper reports student interaction patterns and self-reported results of using Twitter microblogging environment. The study employs longitudinal probabilistic social ...
Carsten Ullrich, Kerstin Borau, Karen Stepanyan
TSD
2005
Springer
15 years 3 months ago
The Role of Speech in Multimodal Human-Computer Interaction
Abstract. Natural audio-visual interface between human user and machine requires understanding of user’s audio-visual commands. This does not necessarily require full speech and ...
Hynek Hermansky, Petr Fousek, Mikko Lehtonen