4636 search results - page 396 / 928 » Modelling and Validation with VipTool |
156
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
— Considered is a mobile ad hoc network consisting of three types of nodes (source, destination and relay nodes) and using the two-hop relay routing protocol. Packets at relay no...
135
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
163
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...
122
click to vote
DIGRA
2003
Springer
15 years 10 months ago
2003
Springer
We present a model to support the design, analysis, and comparison of games through the use of game design patterns, descriptions of reoccurring interaction relevant to game play....
136
click to vote
ICCBSS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper describes enhancements being made to the University of Southern California’s COnstructive COTS (COCOTS) integration cost model to address security concerns. ...