Sciweavers

15777 search results - page 2485 / 3156
» Software Engineering
Sort
View
BCSHCI
2007
15 years 8 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
SQJ
2002
110views more  SQJ 2002»
15 years 6 months ago
A General Model of Unit Testing Efficacy
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
Houman Younessi, Panlop Zeephongsekul, Winai Bodhi...
EPEW
2008
Springer
15 years 9 months ago
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...
Anne Martens, Steffen Becker, Heiko Koziolek, Ralf...
SASO
2008
IEEE
16 years 1 months ago
A Middleware Architecture for Human-Centred Pervasive Adaptive Applications
As software is more and more interweaving with our everyday life, designing software in a way that it reflects and respects the user and her emotional physical conditions, cogniti...
Andreas Schroeder, Marjolein van der Zwaag, Moritz...
ICCAD
1993
IEEE
139views Hardware» more  ICCAD 1993»
15 years 11 months ago
Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors
— One major problem in pipeline synthesis is the detection and resolution of pipeline hazards. In this paper we present a new solution to the problem in the domain of pipelined a...
Ing-Jer Huang, Alvin M. Despain
« Prev « First page 2485 / 3156 Last » Next »