For object-oriented databases we propose a new technique for optimizing queries containing method invocations. This technique is based on the definition of inverse methods and que...
The Service-oriented architecture (SOA) paradigm has been gaining momentum over the last few years. Although the banking industry has often been mentioned as an early adaptor of s...
Stefan Schulte 0002, Nicolas Repp, Julian Eckert, ...
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
In human-robot interaction (HRI) it is essential that the robot interprets and reacts to a human’s utterances in a manner that reflects their intended meaning. In this paper we...
Michael Brenner, Nick Hawes, John D. Kelleher, Jer...
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...