5188 search results - page 377 / 1038 » Information Flow in Interactive Systems |
191
click to vote
ADVIS
2000
Springer
15 years 11 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
169
click to vote
DATE
2004
IEEE
15 years 10 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...
143
click to vote
CAISE
2008
Springer
15 years 8 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...
152
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
We investigate techniques for general black-box mitigation of timing channels. The source of events is wrapped by a timing mitigator that delays output events so that they contain...
167
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...