The invention of modern computers seems to have been anticipated by many years by Turing. 1 Vet it is remarkable how little the progress of computers has been influenced by Turing's work.
Here, we propose to consider automata directly as abstract systems, and show that the resulting framework is complete.
We present a new technique for obtaining decision procedures for modal logics of programs.
With higher baudrates and progression of coherent in metro networks, optical links are increasingly subject to capacity-limiting filter penalties from routing nodes.
A method using an image digitizing system with a minicomputer to automatically determine surface displacement by evaluating holo-interferometric fringe patterns is presented.
Automated construction of knowledge hierarchies from huge data corpora is gaining increasing attention in recent years, in order to tackle the infeasibility of manually extracting and semantically
An automated Built-In Self-Test (BIST) technique for general sequential logic is described.
This paper aims at developing techniques towards automated design of composite e-services.
Digital Cross-connect Systems (DCS) are key network elements needed to automate digital network operations.
We explore techniques for eliciting a behavioral description from an Android smartphone app in a controlled manner.
