2079 search results - page 244 / 416 » Quantifying Information Flow |
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
DAWAK
2006
Springer
14 years 1 months ago
2006
Springer
Though in most data warehousing applications no relevance is given to the time when events are recorded, some domains call for a different behavior. In particular, whenever late re...
CAISE
2008
Springer
13 years 11 months ago
2008
Springer
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of control and data, but facilities for allocating ta...
DAWAK
2008
Springer
13 years 11 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
EAI
2004
13 years 11 months ago
2004
A vertically integrated market consists of potentially competing companies who supply each other with products and services. Information technology can be employed to improve the b...