Sciweavers

1860 search results - page 143 / 372
» tools 2009
Sort
View
FMICS
2009
Springer
16 years 16 days ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
ICWL
2009
Springer
16 years 15 days ago
Microblogging for Language Learning: Using Twitter to Train Communicative and Cultural Competence
Abstract. Our work analyzes the usefulness of microblogging in second language learning using the example of the social network Twitter. Most learners of English do not require eve...
Kerstin Borau, Carsten Ullrich, Jinjin Feng, Ruimi...
153
Voted
INTETAIN
2009
Springer
16 years 15 days ago
Accessible Gaming through Mainstreaming Kinetic Controller
Leisure is a very important aspect in our everyday life; and gaming is one of the main ways to it. Depending on the particular situation of each person, the way of playing could be...
Yolanda Garrido, Álvaro Marco, Joaquí...
ISCIS
2009
Springer
16 years 15 days ago
A web-based data source for metabolomics
—With the development of improved and cost-effective technologies, it is now possible to detect thousands of metabolites in biofluids or specific organs, and reliably quantify th...
Ali Cakmak, Arun Dsouza, Richard Hanson, Gultekin ...
ISEUD
2009
Springer
16 years 15 days ago
Mutual Development: A Case Study in Customer-Initiated Software Product Development
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
Renate Andersen, Anders I. Mørch