Programmable consumer devices have placed computation within arm’s reach at all times and in all places. Unfortunately, researchers interested in investigating this phenomenon o...
Contrary to indications made by prior researchers, digital logic circuits designed by artificial evolution to perform binary arithmetic tasks can generalise on inputs which were n...
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
We report on research aimed at gaining an improved understanding of how issues such as language, literacy and previous exposure to technology affect citizens’ ability to access g...
An approach and mechanismto support the sharing of behavior amongthe component database systems in a federation is described. In the context of a functional object-based database ...