The FABRIC project aims at the integration of middleware standards used in home networks to provide high quality streaming over a heterogeneous network. without introducing new sta...
Peter van der Stok, Jan Jelle Boomgaardt, Helmut B...
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...