Sciweavers

4156 search results - page 428 / 832
» Modeling and simulation of retrieving process
Sort
View
MASCOTS
2000
15 years 5 months ago
The synTraff Suite of Traffic Modeling Toolkits
This paper describes three visually interactive tools for the analysis, modeling, and generation of long-range dependent (LRD) network traffic. The synTraff toolkit uses a three-s...
Ram Balakrishnan, Carey L. Williamson
115
Voted
HT
2004
ACM
15 years 9 months ago
When open hypermedia meets peer-to-peer computing
We describe the extension to our previous work on a Web-based peer-to-peer open hypermedia system, the DDLS. We enrich the peer model by introducing query history, and propose the...
Jing Zhou, Wendy Hall, David De Roure
129
Voted
ICPR
2004
IEEE
16 years 4 months ago
Semantic Object Segmentation by a Spatio-Temporal MRF Model
In this paper, a region-based spatio-temporal Markov random field (STMRF) model is proposed to segment moving objects semantically. The STMRF model combines segmentation results o...
Wei Zeng, Wen Gao
139
Voted
ICFEM
2009
Springer
15 years 1 months ago
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Hu...
IJFCS
2010
92views more  IJFCS 2010»
15 years 27 days ago
Collapsing the Hierarchy of Parallel Computational Models
We investigate the computational power of parallel models with directed reconfigurable buses and with shared memory. Based on feasibility considerations present in the literature,...
Stefan D. Bruda, Yuanqiao Zhang