1829 search results - page 124 / 366 » Towards Validation of Requirements Models |
190
click to vote
AIMS
2007
Springer
16 years 19 days ago
2007
Springer
This paper proposes an optimization method for the design of large scale confederation based BGP networks. We propose a graph based model and an associated metric to evaluate the r...
165
click to vote
IEEESCC
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
150
click to vote
BIBE
2000
IEEE
15 years 11 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
146
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
We consider a control problem for a single bioreaction occuring in a continuous and well mixed bioreactor, assuming that the bioreaction's kinetics is not represented by a va...
200
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Research in high-speed interconnect requires physical test to validate circuit models and design assumptions. At multi-Gbit/sec rates, physical implementations require custom circ...