6293 search results - page 145 / 1259 » Information Flow Testing |
126
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
135
click to vote
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
—We investigate the problem of flow optimization in a parallel relay network which consists of a single source sending information to a single destination through multiple relay...
123
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
134
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
In order to enable scalable querying of graph databases, intelligent selection of subgraphs to index is essential. An improved index can reduce response times for graph queries si...
137
click to vote
ACMICEC
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...