Article history: Received 20 February 2013 Received in revised form 11 October 2013 Accepted 5 February 2014 Available online xxxx

State Machines at the Cusp of the Millenium

During the attempts to build an Abstract State Machine (ASM) model for the semantics of C# programs, we tried to directly and faithfully reflect the intuitions and design decisions which are expressed in the C# Language Specification. This work and the comparison between the corresponding ASM models for C# and Java brought to light a few gaps and mistakes in the C# reference manual, inconsisten...

We apply the ASM semantics framework to define the await construct in the context of concurrent ASMs. We link CAL programs to concurrent control state ASMs with turbo ASM submachines.

We have designed and implemented a Web service for location discovery (LODS) and a location-based printing service that uses LODS on a network with wireless LAN connectivity based on IEEE 802.11 that is typical to campuses and enterprises. The need for location management and location-based services is linked to the mobility of the users. While location discovery is already implemented in cellu...

State Machines for the Classroom – The Basics –

Digital halftoning is used both in low and high resolution high quality printing technologies. Our method is designed to be mainly used for low resolution ink jet marking machines to produce both gray tone and color images. The main problem with digital halftoning is pink noise caused by the human eye's visual transfer function. To compensate for this the random dot patterns used are optimized ...

Quantifying the deformation of biological tissues under mechanical loading is crucial to understand its biomechanical response in physiological conditions and important for designing materials and treatments for biomedical applications. However, strain measurements for biological tissues subjected to large deformations and humid environments are challenging for conventional methods due to sever...