SUMMARY Emerald is a general-purpose language with aspects of traditional object-oriented languages, such as Smalltalk, and abstract data type languages, such as Modula-2 and Ada. It is strongly-typed with a non-traditional object model and type system that emphasize abstract types, allow separation of typing and implementation, and provide the exibility of polymorphism and subtyp-ing with comp...

1.1 Introduction In a rational programming language, a program specifes a situation encountered by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the situation. Rational programming combines the advantages of declarative representations with features of programming languages such as modularity, compositionality, and type systems. A system desi...

Most provenance capture takes place inside particular tools – a workflow engine, a database, an operating system, or an application. However, most users have an existing toolset – a collection of different tools that work well for their needs and with which they are comfortable. Currently, such users have limited ability to collect provenance without disrupting their work and changing environme...

Thanks to the availability of different wireless communication techniques, external devices can extend today’s smartphones. Such an external device can be any kind of a sensor, for example. This thesis describes a general-purpose wireless distance sensor, which connects to a smartphone or any other device equipped with Bluetooth technology. Further, an Android application which handles the meas...

A digital ticket is a certificate that guarantees certain rights of the ticket owner. There are many applications for digital tickets but the ticket properties vary depending on the application. This variety makes the digital ticket processing system expensive, especially if dedicated systems must be developed for each application. This paper thus addresses issues on developing a common data sc...

Since the announcement of the ZBM System13 in 1%9, ZBM has been incorporating leading-edge technology in products referred to as small general-purpose systems. With the many models of the Systeml3, Systeml32, Systeml34, and System1 38, ZBM has introduced many technological advances addressing the needs of diverse customers, from the novice, firsttime user to the experienced user in the distribu...