: Business processes are increasingly controlled by IT-systems automatically, but they still consist of many tasks that have to be performed by people. Despite an appropriate IT-in...
Abstract. The increasing proliferation of computational devices has introduced the need for applications to run on multiple platforms in different physical environments. Providing ...
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects...
In spite of the important development that the Web has gone through in the last years, the field of education has not taken fully advantage of this development. Using this technol...
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...