1829 search results - page 124 / 366 » Towards Validation of Requirements Models |
196
click to vote
AIMS
2007
Springer
16 years 1 months 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...
184
click to vote
IEEESCC
2005
IEEE
16 years 14 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 ...
163
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...
156
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...
206
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...