Sciweavers

1181 search results - page 205 / 237
» User Interface Development: Problems and Experiences
Sort
View
GAMEON
2003
13 years 10 months ago
A Web-Based Game for Supporting Game-Based Learning
Game-based learning has been recognized as an important alternative or supplement to traditional in-class, face-to-face teaching. It can help both adults and children in learning ...
Olga Dzianbenko, Maja Pivec, Christos Bouras, Vagg...
BMCBI
2005
302views more  BMCBI 2005»
13 years 8 months ago
CGHPRO - A comprehensive data analysis tool for array CGH
Background: Array CGH (Comparative Genomic Hybridisation) is a molecular cytogenetic technique for the genome wide detection of chromosomal imbalances. It is based on the cohybrid...
Wei Chen, Fikret Erdogan, H.-Hilger Ropers, Steffe...
ASE
2002
160views more  ASE 2002»
13 years 8 months ago
Proving Invariants of I/O Automata with TAME
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...
MEDES
2010
ACM
13 years 3 months ago
Brazilian public software: beyond sharing
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
A. M. Alves, Marcelo Schneck de Paula Pessôa
LISA
2007
13 years 11 months ago
Application Buffer-Cache Management for Performance: Running the World's Largest MRTG
An operating system’s readahead and buffer-cache behaviors can significantly impact application performance; most often these better performance, but occasionally they worsen it...
David Plonka, Archit Gupta, Dale Carder