1886 search results - page 205 / 378 » Verifying and Validating Simulation Models |
108
click to vote
COMPSEC
2010
14 years 12 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
126
click to vote
CISS
2010
IEEE
14 years 6 months ago
2010
IEEE
— Minimum cost optimization for multicast with network coding has attracted great research interests. In this paper, based on an information model that differentiates intermediat...
122
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...
101
click to vote
ISCAS
2007
IEEE
15 years 9 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
154
click to vote
APPT
2003
Springer
15 years 8 months ago
2003
Springer
The increase number of mobile users in wireless environment affects query access time substantially. To minimise the query access time, one possible way is to employ data broadcast...