3337 search results - page 310 / 668 » interactions 2006 |
154
click to vote
UIST
2006
ACM
16 years 21 days ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
156
click to vote
UIST
2006
ACM
16 years 21 days ago
2006
ACM
Despite the ubiquity of slide presentations, managing multiple presentations remains a challenge. Understanding how multiple versions of a presentation are related to one another,...
151
click to vote
WIKIS
2006
ACM
16 years 21 days ago
2006
ACM
A survey of 168 corporate wiki users was conducted. Findings indicate that corporate wikis appear to be sustainable. Users stated three main types of benefits from corporate wikis...
155
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Agent-based modeling is a powerful tool for systems modeling. Instantiating each domain entity with an agent permits us to capture many aspects of system dynamics and interactions...
177
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...