182 search results - page 4 / 37 » A Decentralized Model for Information Flow Control |
ETRICS
2006
13 years 11 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
ACSAC
2003
IEEE
14 years 20 days ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
JISE
2007
13 years 7 months ago
2007
WSC
2004
13 years 8 months ago
2004
This paper describes a design specification for a generic, supply-chain-simulation system. The proposed simulation system is based on schedule-driven and stock-driven control meth...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Cooperative steering controls enable mobile sampling platforms to conduct synoptic, adaptive surveys of dynamic spatiotemporal processes by appropriately regulating the...