4636 search results - page 178 / 928 » Modelling and Validation with VipTool |
ICNS
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper presents an Erlang reduced load model to analyze Optical Burst Switched Grid networks. The model allows the evaluation of job blocking probabilities, in which blockin...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Capturing the interaction behavior between two or more business parties has major importance in the context of business-tobusiness (B2B) process integration. The Business Process M...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract: DRAMs play an important role in the semiconductor industry, due to their highly dense layout and their low price per bit. This paper presents the first framework of faul...
MEMOCODE
2005
IEEE
14 years 1 months ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
ADHOCNOW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper gives a simple continuum model for generic proactive routing protocols in a mobile ad-hoc network. Rate constants characterize the routing protocol and the net...