Sciweavers

2825 search results - page 224 / 565
» Support for Object-Oriented Testing
Sort
View
120
Voted
HICSS
1999
IEEE
141views Biometrics» more  HICSS 1999»
15 years 8 months ago
An Application Framework for Synchronous Collaboration using Java Beans
This paper presents a JavaBeans framework that supports real-time synchronous collaborative applications. We contribute a generic collaboration bus as an enabling virtual "ch...
Ivan Marsic, Bogdan Dorohonceanu
UIST
1998
ACM
15 years 8 months ago
Interaction and Modeling Techniques for Desktop Two-Handed Input
We describe input devices and two-handed interaction techniques to support map navigation tasks. We discuss several design variations and user testing of two-handed navigation tec...
Ken Hinckley, Mary Czerwinski, Mike Sinclair
IPPS
1997
IEEE
15 years 8 months ago
Interactive Visual Exploration of Distributed Computations
Program understanding is central to the development of distributed computations, from the initial coding phase, through testing and debugging, to maintenance and support. Our goal...
Delbert Hart, Eileen Kraemer
ITP
2010
155views Mathematics» more  ITP 2010»
15 years 8 months ago
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
Anthony C. J. Fox, Magnus O. Myreen
132
Voted
LREC
2008
144views Education» more  LREC 2008»
15 years 6 months ago
Linguistic Resources and Evaluation Techniques for Evaluation of Cross-Document Automatic Content Extraction
The NIST Automatic Content Extraction (ACE) Evaluation expands its focus in 2008 to encompass the challenge of cross-document and cross-language global integration and reconciliat...
Stephanie Strassel, Mark A. Przybocki, Kay Peterso...