Michael Lee

Learn More
Support for fine-grained data management has all but disappeared from modern operating systems such as An-droid and iOS. Instead, we must rely on each individual application to manage our data properly – e.g., to delete our emails, documents, and photos in full upon request; to not collect more data than required for its function; and to back up our data to(More)
The advent of serial communication links in chip-to-chip and systemto-system applications has resulted in intense focus on jitter and BER testing techniques, including jitter generation and measurement methodologies. We describe techniques for injection of random and deterministic jitter in controlled and programmable fashion, including a novel(More)
A working paper in the INSEAD Working Paper Series is intended as a means whereby a faculty researcher's thoughts and findings may be communicated to interested readers. The paper should be considered preliminary in nature and may require revision. Abstract-In this paper, we analyze software production problem profiles and their link to the organizational(More)
OWL 2 DL is a complex logic with reasoning problems that have a high worst case complexity. Modern reasoners perform mostly very well on naturally occurring ontologies of varying sizes and complexity. This performance is achieved through a suite of complex optimisa-tions (with complex interactions) and elaborate engineering. While the formal basis of the(More)
DL reasoners are complex pieces of software that work on even more complex input which makes manual verification difficult. A single ontology can have hundreds or thousands of classes and thus its classification involve an unsurveyable number of subsumption tests. We propose a new method for debugging classification across multiple rea-soners which employs(More)