Enterprise Application Integration (EAI) techniques are today widely adopted to build Enterprise Information Systems. Moreover the increasing reliability of tools and techniques s...
The pressure towards tighter or ``seamless'' integration of health information systems is a recurring issue with both practical and analytical relevance. It taps into a d...
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
The continuing threat of infectious disease and future pandemics, coupled to the continuous increase of drug-resistant pathogens, makes the discovery of new and better vaccines im...
Hifzur Rahman Ansari, Darren R. Flower, G. P. S. R...