Sciweavers

30267 search results - page 5787 / 6054
» Process Modelling Languages
Sort
View
145
Voted
PE
2002
Springer
118views Optimization» more  PE 2002»
15 years 3 months ago
Procedures and tools for analysis of network traffic measurements
We present procedures and tools for the analysis of network traffic measurements. The tools consist of stand-alone 1 modules that implement advanced statistical analysis procedure...
Costas Courcoubetis, Vasilios A. Siris
142
Voted
SIMULATION
1998
177views more  SIMULATION 1998»
15 years 3 months ago
Simulation and Planning of an Intermodal Container Terminal
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Mar...
123
Voted
STTT
1998
130views more  STTT 1998»
15 years 3 months ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...
140
Voted
TCAD
2002
73views more  TCAD 2002»
15 years 3 months ago
A timing-constrained simultaneous global routing algorithm
In this paper, we propose a new approach for VLSI interconnect global routing that can optimize both congestion and delay, which are often competing objectives. Our approach provi...
Jiang Hu, Sachin S. Sapatnekar
153
Voted
TCSV
2002
229views more  TCSV 2002»
15 years 3 months ago
Automatic segmentation of moving objects in video sequences: a region labeling approach
Abstract--The emerging video coding standard MPEG-4 enables various content-based functionalities for multimedia applications. To support such functionalities, as well as to improv...
Yaakov Tsaig, Amir Averbuch
« Prev « First page 5787 / 6054 Last » Next »