878 search results - page 91 / 176 » Interacting Abstract State Machines |
137
click to vote
IUI
2009
ACM
16 years 21 days ago
2009
ACM
Selection tasks are common in modern computer interfaces: we are often required to select a set of files, emails, data entries, and the like. File and data browsers have sorting a...
113
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
123
click to vote
MLMI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This article presents an ego-centric approach for indexing and browsing meetings. The method considers two concepts: meetings’ data alignment with personal information ...
131
click to vote
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
157
click to vote
ICALT
2009
IEEE
15 years 7 months ago
2009
IEEE
Although Virtual Learning Environments have become popular educational tools, they remain a very active research topic. Two important aspects being discussed for next-generation V...