Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
Many classical graph visualization algorithms have already been developed over the past decades. However, these algorithms face difficulties in practice, such as the overlapping n...
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Data adaptation is an essential system component in a wide variety of application areas. To date, most applications use ad hoc methods to manage data in response to limited resour...
This paper presents a design framework for wearable electronic textiles. The focus is on the design and simulation issues that arise from the interaction of the electronic textile...
Thomas Martin, Mark T. Jones, Joshua Edmison, Ravi...