5639 search results - page 840 / 1128 » Timed Abstract Non-interference |
119
click to vote
OPNETEC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract— A promising approach to the effective utilization of wavelength division multiplexed networks is to transfer data on an on-demand basis using fast wavelength reservati...
176
click to vote
PARA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
138
click to vote
PERVASIVE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
144
click to vote
RAID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper proposes a new approach to detecting aggregated anomalous events by correlating host file system changes across space and time. Our approach is based on a key...
171
Voted
SCOPES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...