As (network) software is such an omnipresent component of contemporary mission-critical systems, formal analysis is required to provide the necessary certification or at least formal assurances for these systems. In this paper we focus on modelling and analysing the Optimised Link State Routing (OLSR) protocol, a distributed, proactive routing protocol. It is recognised as one of the standard a...

WASHINGTON President C lin ton endorsed R ussian P re s id en t B o ris Y e lts in ’s decision to disband parliam ent and set new elec­ tions Tuesday. “ I support him fu lly,” Clinton said as his secre­ ta ry o f s ta te b rushed aside questions about the legality of Yeltsin’s actions. Clinton issued a statement of support a fte r ca llin g Ye lts in and asking for assurances that the Russian p...

A committee of U.S. industry scientists from the Pharmaceutical Manufacturers Association has reviewed the recent suggestions of Galibert and Center for Biologics Evaluation and Research (CBER) regarding assurances of product consistency by cloning and sequencing efforts. We disagree that their proposals will achieve this goal, and estimate that such efforts will be very costly in terms of regu...

The Internet today offers primarily a best-effort service. Research and development efforts are currently underway to allow the provision of better than best-effort quality of service assurances. In this article we develop a spot-pricing framework for bandwidth assured Internet service contracts. A nonlinear pricing model forms the basis for the framework. The price process is obtained for diff...

The International Society for Advancement of Cytometry (ISAC) disclaims liability for any injury, harm, or other damage of any nature whatsoever, to persons or property, whether direct, indirect, consequential or compensatory, directly or indirectly resulting from publication, use of, or reliance on this Specification, and users of this Specification, as a condition of use, forever release ISAC...

When using genetic programming (GP) or other techniques that try to approximate unknown functions, the principle of Occam's razor is often applied: nd the simplest function that explains the given data, as it is assumed to be the best approximation for the unknown function. Using a well-known result from learning theory, it is shown in this paper, how Occam's razor can help GP in nding function...

The Internet is evolving from best-effort service toward an integrated or differentiate service framework with Quality of Service (QoS) assurances that are required for new multimedia service applications. IP/MPLS based control plane combined with wavelength-routed Dense Wavelength Division Multiplexed (DWDM) optical network is viewed as a very promising approach for realizing future re-configu...

Industry recognizes wireless sensor networks as one of the next major technical and economical shifts in automation and control systems. Industrial applications need performance assurances of wireless communication, which is hard to attain given the variability of the environment where such applications are deployed. In this paper, we quantify the impact of environmental conditions, namely temp...

Improving food safety, reducing the impacts of food safety problems, and providing a means to verify food quality attributes are driving the development of traceability initiatives in agri-food systems. Numerous and varied examples exist, from regulatory traceability initiatives, to industry-wide livestock traceability programmes, to individual supply-chain systems that combine traceability wit...

OVPN (Optical Virtual Private Network) over IP (Internet Protocol)/GMPLS (Generalized Multi-Protocol Label Switching) over DWDM (Dense Wavelength Division Multiplexing) technology with QoS assurances is considered as a promising approach for the next generation OVPN. In this paper, we suggest a multicast OLSP (Optical Label Switched Path) establishment mechanism for supporting high bandwidth mu...