Techniques for error detection and fault tolerance for distributed real-time systems using fixed priority scheduling will be developed and studied. Specifically, techniques for node-level transient fault tolerance, and system-level replica determinism will be considered. Error detection and fault tolerance mechanisms will be implemented in a small real-time kernel and evaluated using both VHDL-...

The paper presents the outcome of an international research project, aimed at identifying and implementing an innovative approach in computer aided aesthetic design. Despite the availability of sophisticated modelling tools, there are still critical issues to be faced in order to get functionality really suited to the creative users mentality. The presented results are based on the analysis of ...

In this thesis we present preliminary results in the development of LIBRA (LInk oping Behavior Representation for Agents). LIBRA is a rule-based system for specifying the behavior of automated agents that combine reactivity to an uncertain and rapidly changing environment and coordination. A central requirement is that the behavior speci cation should be made by users who are not computer and ...

The Romance Inter-Views are short, multiple Q&A pairs that address key issues, definitions and ideas regarding linguistics. Prominent exponents of different approaches to the study linguistics asked answer some general questions from their viewpoint. answers then assembled so readers can get a comparative picture what’s going on in field.For first we selected (morpho-)syntactic research, 8 ...

Mutation testing is a powerful fault-based testing technique that makes syntactic changes to a program under test in order to simulate real faults otherwise caused by a programmer. Similar to structural coverage criteria such as statement coverage, mutation testing is used to assess the quality of a test suite. After a syntactic change has been made, the program is referred to as a mutant that ...

Air combat is a complex situation, training for it and analysis of possible tactics are time consuming and expensive. In order to circumvent those problems, mathematical models of air combat can be used. This thesis presents air combat as a one-on-one influence diagram game where the influence diagram allows the dynamics of the aircraft, the preferences of the pilots and the uncertainty of deci...

The Coalition Battle Management Language (C-BML) as currently implemented requires that interoperating Command and Control (C2) and Simulation systems implement an interface to a Web service, using a clearly defined schema, to propagate Orders and Reports to participating systems. GMU and Saab have been collaborating on a robust parsing publish/subscribe server that can translate among semantic...

D.S. Akerib, J. Alvaro-Dean, M.S. Armel, M.J. Attisha, L. Baudis, D.A. Bauer, A.I. Bolozdynya, P.L. Brink, R. Bunker, B. Cabrera, D.O. Caldwell, J.P. Castle, C.L. Chang, R.M. Clarke, M.B. Crisler, P. Cushman, A.K. Davies, R. Dixon, D.D. Driscoll, L. Duong, J. Emes, R. Ferril, R.J. Gaitskell, S.R. Golwala, M. Haldeman, J. Hellmig, M. Hennessey, D. Holmgren, M.E. Huber, S. Kamat, M. Kurylowicz, A...

CLINICALCHEMISTRY, Vol.37, No. 5, 1991 765 (sandwich) assays. II. Studies on the nature of the “high-dose hook-effect.” Immunochemistry 1978;15:77-82. 9. Miles LEM, Lipschitz DA, Bieber CP, et al. Measurement of serum ferritin by a 2-site immunoradiometric assay. Anal Biochem 1974;61:209-24. 10. Green B., Watson LB., Saab GA, et al. “Normal” serum ferritin-a caution. Blood 1977;50:545-7. 11. Ry...