15636 search results - page 74 / 3128 » Modelling by supersaturated designs |
147
click to vote
CPAIOR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. An optimization problem arising in the design of optical fibre networks is discussed. A network contains client nodes, each installed on one or more SONET rings. A const...
155
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
144
click to vote
CBSE
2007
Springer
16 years 10 days ago
2007
Springer
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
155
click to vote
CSCWD
2005
Springer
15 years 11 months ago
2005
Springer
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 ...
138
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...