Seismic horizons indicate change in rock properties and are central in geoscience interpretation. Traditional interpretation systems involve time consuming and repetitive manual v...
Daniel Patel, Stefan Bruckner, Ivan Viola, Eduard ...
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
Customer reviews and recommendations for products are provided by almost all e-business platforms, supporting consumers when shopping on the web. Mobile and ubiquitous computing p...
Felix von Reischach, Florian Michahelles, Albrecht...