Titlebook: Services and Visualization: Towards User-Friendly Design; ACos‘98, VISUAL‘98, Tiziana Margaria,Bernhard Steffen,Joachim Posegga Conference

FIN

Automatic error location for IN service definition,ubsequent error diagnosis and correction is now supported by a new kind of abstract views, which not only give hints on the possible source of trouble, tut additionally . the exact occurrence of the constraint violation in the Service Logic.

Galactogogue

MIRE

Foolproof

乐器演奏者

,Distributed compression of live video — An application for active networks,out the necessity for expensive dedicated hardware for every new standard. Using inexpensive framegrabber boards, it is possible to support several different compression schemes as H.261 or H.263. But the computing power of today‘s desktop system does usually not allow for the simultaneous compressi

FAST

联合

Foreshadow

Thyroiditis

MENT

Visualisation of executable formal specifications for user validation,ations. It is part of an ongoing effort to move towards quality requirements via graphical visualisations of formal specifications. It builds upon previous work that supports the animation of Z specifications in a LISP-based environment called . (Z Animation in LISP). In addition, it embodies a visu