1024 search results - page 114 / 205 » Graph Based Modeling of P2P Streaming Systems |
IJBC
2007
15 years 2 months ago
2007
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...
137
Voted
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
— 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...
108
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
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...
106
Voted
VLDB
1994
ACM
15 years 6 months ago
1994
ACM
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...
124
Voted
WSC
2008
15 years 4 months ago
2008
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...