The understanding of logistics as the integrated planning, control, realization and monitoring of all internal and network-wide material-, partand product flows including the necessary information flow along the complete value-added chain is still valid: but the logistic performance is becoming more and more dependent on technological innovations. One reason for this is increasing complexity in...

Flow control policies are important in data-flow, work-flow, transaction systems and software design. Previous work in this area concentrates either on modelling security aspects of information flow control or applying flow control policies in some specific application domain. These models permit either permissions or prohibitions for flows and normally are based on a specific meta-policy (usua...

We describe a new, dynamic, floating-label approach to languagebased information flow control, and present an implementation in Haskell. A labeled IO monad, LIO, keeps track of a current label and permits restricted access to IO functionality, while ensuring that the current label exceeds the labels of all data observed and restricts what can be modified. Unlike other language-based work, LIO a...

Computerized information systems can potentially help the dairy producer to deal with the increased complexity of decision making and availability of information in dairy farming. These systems, however, should be fully integrated to ensure a coordinated execution of dairy farming activities. A framework was developed, therefore, to support the creation of computerized management and control sy...