Sciweavers

2186 search results - page 346 / 438
» Developing Educational Software Components
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 3 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
LREC
2010
130views Education» more  LREC 2010»
15 years 3 months ago
ELAN as Flexible Annotation Framework for Sound and Image Processing Detectors
Annotation of digital recordings in humanities research still is, to a large extend, a process that is performed manually. This paper describes the first pattern recognition based...
Eric Auer, Albert Russel, Han Sloetjes, Peter Witt...
HCI
2007
15 years 3 months ago
Activity Theoretical Analysis and Design Model for Web-Based Experimentation
This paper presents an Activity Theoretical analysis and design model for Web-based experimentation, which is one of the online activities that plays a key role in the development ...
Anh Vu Nguyen-Ngoc
CADUI
2004
15 years 3 months ago
A Lightweight Experiment Management System for Handheld Computers
: This paper describes a system that helps HCI practitioners and researchers manage and conduct experiments involving context-sensitive handheld applications, particularly related ...
Philip D. Gray, Joy Goodman, James Macleod
DELOS
2004
15 years 3 months ago
StreamOnTheFly: A Network for Radio Content Dissemination
A distributed digital library has been designed and implemented for the support of community radios. This framework, developed by the StreamOnTheFly IST project of the EU, provides...
László Kovács, András ...