Invited Lectures.- Stability of Discrete Sampled Systems.- Issues in the Refinement of Distribute...

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tol...

Majoreconomicupheavalscanhavethesortofe?ectthatSchumpeterforesaw60 yearsagoascreativedestruction....

SEAFOOD 2009: Enabling Global Partnerships to Deliver on Business Needs Companies have been outso...

SEAFOOD for Thought Headline-grabbing though it may be, the software industry's large-scale allo-...