Sciweavers

8928 search results - page 253 / 1786
» Modeling Current Events
Sort
View
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
15 years 8 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...
121
Voted
SIMUTOOLS
2008
15 years 5 months ago
An OMNeT++ model for the evaluation of OBS routing strategies
Optical Burst Switching (OBS) has been proposed as a costeffective paradigm for supporting, with adequate flexibility, the increasingly high transmission capacity required by the ...
A. L. Barradas, M. C. R. Medeiros
133
Voted
TCSV
2008
153views more  TCSV 2008»
15 years 3 months ago
Broadcast Court-Net Sports Video Analysis Using Fast 3-D Camera Modeling
This paper addresses the automatic analysis of court-net sports video content. We extract information about the players, the playing-field in a bottom-up way until we reach scene-l...
Jungong Han, Dirk Farin, Peter H. N. de With
106
Voted
SSS
2010
Springer
118views Control Systems» more  SSS 2010»
15 years 2 months ago
Modeling and Analyzing Periodic Distributed Computations
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale
138
Voted
SIMUTOOLS
2008
15 years 5 months ago
Efficient and realistic mobility and channel modeling for VANET scenarios using OMNeT++ and INET-framework
Mobility and channel modeling is a very crucial task for the simulation of Vehicular Ad Hoc Network (VANET) scenarios. In this paper we present a new mobility modeling approach fo...
Robert Nagel, Stephan Eichler