We provide a modular high-level deenition of the Java Virtual Machine (JVM) architecture. We decompose the machine into three components { the loader, the bytecode veriier and the interpreter { each for a hierarchy of four stepwise reened JVM program layers. These layers naturally correspond to the structuring of Java into sublanguages with imperative, procedural, object-oriented and exception ...

This paper presents an integrated system used for ultra precision machine tool (UPMT) design in conceptual and fundamental design stage. This system is based on the dynamics, thermodynamics and error budget theory. The candidate configurations of the machine tool are first selected from the configuration library or a novel configuration designed by the user, according to the functions of the ma...

A general mathematical framework is developed for learning algorithms. A learning task belongs to either of two classes, reactive and adaptive. For the reactive tasks, learning algorithms can be analysed as statistical estimators, for which the theory of Bayesian information geometry provides a complete description. In particular, there exists ideal estimates holding all the information in the ...

The discipline of enterprise engineering and the DEMO methodology provide enterprise designers with a formal techniques to design companies where competency, responsibility and authority is clearly defined. In such companies, process-based anomalies can be avoided and people tend to cooperate more effectively and contentedly. These techniques are so far mostly used just for business process mod...

Self-organization in the sense used in natural sciences means the spontaneous creation of patterns in space and/or time in dissipative systems consisting of many individual components. Central in this context is the notion of emergence meaning the spontaneous creation of structures or functions that are not directly explainable from the interactions between the constituents of the system. This ...

In this work, we introduce patchable indistinguishability obfuscation: our notion adapts the notion of indistinguishability obfuscation (iO) to a very general setting where obfuscated software evolves over time. We model this broadly by considering software patches P as arbitrary Turing Machines that take as input the description of a Turing Machine M , and output a new Turing Machine descripti...

In this work, we introduce patchable obfuscation: our notion adapts the notion of indistinguishability obfuscation (iO) to a very general setting where obfuscated software evolves over time. We model this broadly by considering software patches P as arbitrary Turing Machines that take as input the description of a Turing Machine M , and output a new Turing Machine description M ′ = P (M). Thus,...

This paper presents the design of a precision electro discharge micro milling machine being designed and built in the Precision Systems Laboratory at the University of Kentucky. This machine will use micro electrodes to mill complex 3D cavities with electrical discharges between an electrode tool (cathode) and a workpiece (anode) submerged in dielectric fluid. The machine entails three axes of ...