Sciweavers

11462 search results - page 578 / 2293
» Developing Application-Centric Methods
Sort
View
APLAS
2008
ACM
15 years 9 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
ASM
2008
ASM
15 years 9 months ago
Model Based Refinement and the Tools of Tomorrow
The ingredients of typical model based development via refinement are re-examined, and some well known frameworks are reviewed in that light, drawing out commonalities and differen...
Richard Banach
BCSHCI
2008
15 years 9 months ago
Evaluation instruments for creativity support tools
Significant research has been dedicated to the development of creativity support tools, tools intended to amplify human creativity in the arts, sciences, and design disciplines. W...
Celine Latulipe, Michael Terry
MBUI
2004
146views User Interface» more  MBUI 2004»
15 years 8 months ago
Model-Based Design and new user Interfaces: Current Practices and Opportunities
In conventional applications it is easy to find detailed and structured practices that make use of models in order to describe almost every aspect of the user interface. On the ot...
José Pascual Molina Massó, Pascual G...
ALC
1997
15 years 8 months ago
Synthesising interconnections
In the context of the modular and incremental development of complex systems, viewed as interconnections of interacting components, new dimensions and new problems arise in the ca...
José Luiz Fiadeiro, Antónia Lopes, T...