2841 search results - page 388 / 569 » A Call to Order |
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
197
click to vote
ENTCS
2006
15 years 6 months ago
2006
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
167
click to vote
CCE
2007
15 years 6 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
164
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...
156
click to vote
ISJ
2008
15 years 6 months ago
2008
Critical research in information systems is based on and inspired by ethics and morality. In order to support this proposition, this paper will suggest a way of classifying critica...