6293 search results - page 342 / 1259 » Information Flow Testing |
149
click to vote
IUI
2009
ACM
15 years 11 months ago
2009
ACM
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
130
Voted
ICARCV
2006
IEEE
15 years 11 months ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
128
Voted
NSPW
2006
ACM
15 years 10 months ago
2006
ACM
The use of deception is one of many defensive techniques being explored today. In the past, defenders of systems have used deception haphazardly, but now researchers are developin...
112
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
: In this paper, we present a computational approach to understanding and augmenting the conversational knowledge process. We introduce the concept of the conversation quantization...
141
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...