Sciweavers

1327 search results - page 183 / 266
» Cost-Benefit Analysis of Software Development Techniques and...
Sort
View
ASSETS
2007
ACM
15 years 10 months ago
Simulation to predict performance of assistive interfaces
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...
Pradipta Biswas, Peter Robinson
ESCIENCE
2006
IEEE
15 years 10 months ago
Running a Production Grid Site at the London e-Science Centre
This paper describes how the London e-Science Centre cluster MARS, a production 400+ Opteron CPU cluster, was integrated into the production Large Hadron Collider Compute Grid. It...
David McBride, Marko Krznaric, Olivier van der Aa,...
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 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...
TASLP
2010
95views more  TASLP 2010»
15 years 4 months ago
A Modal-Based Real-Time Piano Synthesizer
—This paper presents a real-time piano synthesizer where both the transverse and longitudinal motion of the string is modeled by modal synthesis, resulting in a coherent and high...
Balázs Bank, Stefano Zambon, Federico Fonta...
ECOOP
2007
Springer
16 years 15 days ago
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
Phil Greenwood, Thiago T. Bartolomei, Eduardo Figu...