Sciweavers

2144 search results - page 60 / 429
» Exact Flow Analysis
Sort
View
107
Voted
SAS
2007
Springer
15 years 10 months ago
Accelerated Data-Flow Analysis
Jérôme Leroux, Grégoire Sutre
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Adaptive Multimedia Flow Regulation and Delay Analysis for End-Hosts in P2P Networks
This paper proposes a novel adaptive algorithm based on a new soft-regulator (σ, ρ, λ) for concurrent multimedia flows at end hosts. Our algorithm has the following features: ...
Weijia Jia
113
Voted
ISPASS
2005
IEEE
15 years 9 months ago
Performance Analysis of a New Packet Trace Compressor based on TCP Flow Clustering
In this paper we study the properties of a new packet trace compression method based on clustering of TCP flows. With our proposed method, the compression ratio that we achieve i...
Raimir Holanda, Javier Verdú, Jorge Garc&ia...
ER
2005
Springer
93views Database» more  ER 2005»
15 years 9 months ago
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
SPC
2005
Springer
15 years 9 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...