Sciweavers

2206 search results - page 196 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
IUI
2003
ACM
15 years 11 months ago
An experiment in automated humorous output production
Computational humor will be needed in interfaces, no less than other cognitive capabilities. There are many practical settings where computational humor will add value. Among them...
Oliviero Stock, Carlo Strapparava
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 6 months ago
Audit and Change Analysis of Spreadsheets
Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to veri...
John C. Nash, Neil Smith, Andy Adler
ICSE
2007
IEEE-ACM
16 years 6 months ago
On Accurate Automatic Verification of Publish-Subscribe Architectures
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
ICCSA
2003
Springer
15 years 11 months ago
Coupling Tangent-Linear and Adjoint Models
Abstract. We consider the solution of a (generalized) eigenvalue problem arising in physical oceanography that involves the evaluation of both the tangent-linear and adjoint versio...
Uwe Naumann, Patrick Heimbach
CSCWD
2005
Springer
16 years 1 days ago
Analyzing groupware design by means of usability results
GOMS is a well-known model that has been successfully used in predicting the performance of humancomputer interaction, identifying usability problems and improving user-interface ...
Pedro Antunes, Marcos R. S. Borges, José A....