In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
The design and development process of communication protocols and real-time systems and particularly transport protocol mechanisms requires adequate methodology and efficient ins...
A design pattern is realized in various forms depending on the context of the applications. There has been intensive research on detecting pattern instances in models and in implem...
Web browsing is a complex activity and in general, users are not guided during browsing. Our hypothesis is that by using Semantic Web technologies and personalization methods, brow...
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
Kundan Nepal, R. Iris Bahar, Joseph L. Mundy, Will...