1816 search results - page 177 / 364 » Case study in modeling and simulation validation methodology |
166
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
206
click to vote
SPE
2010
15 years 4 months ago
2010
Abstract. This paper compares organization and practices for software reuse in integrationoriented software product lines and open source software projects. The main observation is...
184
click to vote
COMCOM
2007
15 years 6 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
169
click to vote
ANSS
2006
IEEE
16 years 16 days ago
2006
IEEE
The IP Multimedia Subsystem (IMS) is envisioned as the solution for the next generation multimedia rich communication. Based on an open IP infrastructure, it enables convergence o...
175
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...