Sciweavers

503 search results - page 3 / 101
» Data Flow Analysis for CCS
Sort
View
CAISE
2009
Springer
13 years 11 months ago
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
Despite the abundance of analysis techniques to discover control-flow errors in workflow designs, there is hardly any support for w verification. Most techniques simply abstract fr...
Nikola Trcka, Wil M. P. van der Aalst, Natalia Sid...
CCS
2008
ACM
13 years 9 months ago
Dependent link padding algorithms for low latency anonymity systems
Low latency anonymity systems are susceptive to traffic analysis attacks. In this paper, we propose a dependent link padding scheme to protect anonymity systems from traffic analy...
Wei Wang 0002, Mehul Motani, Vikram Srinivasan
VISSYM
2004
13 years 8 months ago
Techniques for Visualizing Multi-Valued Flow Data
In this paper we discuss several techniques to display multiple scalar distributions within an image depicting a 2D flow field. We first address how internal contrast and mean lum...
Timothy Urness, Victoria Interrante, Ellen Longmir...
JEC
2006
113views more  JEC 2006»
13 years 7 months ago
CyNC: A method for real time analysis of systems with cyclic data flows
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
Henrik Schiøler, Jens Dalsgaard Nielsen, Ki...