We describe via Abstract State Machines the major ingredients of contemporary web applications: a web browser running JavaScript programs and a web server dispatching requests to one of several modules, each one representing a class of established web application frameworks. The web browser model comes in four levels, namely transport, stream, context and browser level, and is focussed on the i...

We describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We define a logic for access control, such that access is granted iff a proof that it should be granted is derivable in the logic. Our logic supports linked local name spaces, privilege delegation across administrative do...

Rapid development since the 1980s of technologies for analysing texts, has led not only to widespread employment text 'mining', but also now-pervasive large language model artificial intelligence (AI) applications. However, building new, concise, data resources from historic, as well contemporary scientific literature, which can be employed efficiently at scale by automation and have long-term ...

Ontologien sind derzeit ein viel diskutiertes Thema in Bereichen wie Wissensmanagement oder Enterprise Application Integration. Diese Arbeit stellt dar, wie Ontologien als Infrastruktur zur Entwicklung neuartiger Applikationen verwendet werden können, die den User bei verschiedenen Arbeiten unterstützen. Aufbauend auf den im Rahmen des Semantischen Webs entstandenen Spezifikationen, werden drei...

The way scientists work in traditional sciences has changed drastically in recent years. Computer science is increasingly supporting them in performing and analyzing their experiments. Today, obtaining the raw data from instruments is merely the first step. No longer is the data analyzed on paper or with simple computational tools. Instead, massive amounts of data obtained raw from instruments ...

We discuss techniques towards using collaborative robots for infrastructure security applications. A vast number of critical facilities, including power plants, military bases, water plants, air fields, and so forth, must be protected against unauthorized intruders. A team of mobile robots working cooperatively can alleviate human resources and improve effectiveness from human fatigue and bored...

This paper proposes the DALI Multiagent System, which is a logic programming environment for developing agent-based applications, as a tool for component-based software management based on coordination. In particular we show the usefulness of the integration between DALI and the agent-based Lira system, which is a Light-weight Infrastructure for Reconfiguring Applications. We argue that using i...

Mobile commerce (m-commerce) is an emerging discipline involving applications, mobile devices, middleware, and wireless networks. While most of existing e-commerce applications can be modified to run in a wireless environment, m-commerce also involves many more new applications that become possible only due to the wireless infrastructure. These applications include mobile financial services, us...