Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
In this paper we focus on the architecture-based development of what we call directly reactive information systems on the Internet. These systems exhibit full content management o...
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...