Sciweavers

1024 search results - page 114 / 205
» Graph Based Modeling of P2P Streaming Systems
Sort
View
IJBC
2007
54views more  IJBC 2007»
15 years 6 months ago
Impact Dynamics of Large Dimensional Systems
In this paper we present a model of impact dynamics in large dimensional systems. We describe a hybrid method, based on graph theory and probability theory, which enables us quali...
Martin E. Homer, S. John Hogan
RTSS
2007
IEEE
16 years 17 days ago
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
Vibha Prasad, Ting Yan, Praveen Jayachandran, Zeng...
ASM
2008
ASM
15 years 8 months ago
Model Checking Event-B by Encoding into Alloy
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
Paulo J. Matos, João Marques-Silva
VLDB
1994
ACM
132views Database» more  VLDB 1994»
15 years 10 months ago
Modelling and Querying Video Data
As video data is penetrating many information systems the need for database support for video data evolves. In this paper we present a generic data model that captures the structu...
Rune Hjelsvold, Roger Midtstraum
WSC
2008
15 years 8 months ago
A simulation based approach for dock allocation in a food distribution center
This research endeavor focused on the warehouse receiving process at a large food distribution center, which comprises of trucks with goods reaching the destination warehouse, unl...
Balagopal Gopakumar, Suvarna Sundaram, Shengyong W...