Sciweavers

9110 search results - page 352 / 1822
» Formally-Based Design Evaluation
Sort
View
CORR
2007
Springer
159views Education» more  CORR 2007»
15 years 6 months ago
Designing a Resource Broker for Heterogeneous Grids
: Grids provide uniform access to aggregations of heterogeneous resources and services such as computers, networks and storage owned by multiple organizations. However, such a dyna...
Srikumar Venugopal, Krishna Nadiminti, Hussein Gib...
JCP
2008
118views more  JCP 2008»
15 years 6 months ago
Design of Organic TFT Pixel Electrode Circuit for Active-Matrix OLED Displays
A new current-programming pixel circuit for active-matrix organic light-emitting diode (AM-OLED) displays, composed of four organic thin-film transistors (OTFTs) and one capacitor,...
Aram Shin, Sang Jun Hwang, Seung Woo Yu, Man Young...
IWC
2007
119views more  IWC 2007»
15 years 6 months ago
Dependable domestic systems design: A socio-technical approach
This paper describes a model that defines the attributes of domestic systems that lead to system dependability and a user-oriented specification method for support systems based...
Ian Sommerville, Guy Dewsbury
JSAC
2007
93views more  JSAC 2007»
15 years 6 months ago
Optimal Virtual Topology Design using Bus-Label Switched Paths
— Although there is a trend in reducing the number of layers in core and metropolitan area networks, still the optimal design of multi-layer networks (like IP over WDM) remains a...
Yannick Brehon, Daniel Kofman, Michal Pióro...
ECSA
2008
Springer
15 years 8 months ago
Towards Independent Software Architecture Review
Abstract. Many software architecture evaluation methods, proposed by the research community, have a common problem of engaging the same architects to perform architecture design an...
Antony Tang, Fei-Ching Kuo, Man Fai Lau