Sciweavers

8031 search results - page 1417 / 1607
» The InfoPad User Interface
Sort
View
CHI
2007
ACM
14 years 1 months ago
An exploratory study of input configuration and group process in a negotiation task using a large display
This paper reports on an exploratory study of the effects of input configuration on group behavior and performance in a collaborative task performed by a collocated group using a ...
Jeremy P. Birnholtz, Tovi Grossman, Clarissa Mak, ...
DPPI
2007
ACM
14 years 1 months ago
Shared moments: opportunities for mobile phones in religious participation
The near ubiquity of mobile phones in the world and in people's lives, have created new opportunities for reinterpretation of what these devices are and what they do. One area...
Rhiannon Sterling, John Zimmerman
COMPSAC
2009
IEEE
14 years 1 months ago
GUI-Based Testing of Boundary Overflow Vulnerability
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
Tugkan Tuglular, Can A. Muftuoglu, Özgür...
ECLIPSE
2007
ACM
14 years 1 months ago
High velocity refactorings in Eclipse
In Eclipse, and in most other development environments, refactorings are activated by selecting code, then using a menu or hotkey, and finally engaging in a dialog with a "wi...
Emerson R. Murphy-Hill, Andrew P. Black
CAV
2010
Springer
223views Hardware» more  CAV 2010»
14 years 1 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
« Prev « First page 1417 / 1607 Last » Next »