In recent years Arvind's Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specifi...
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
An integrated Belief-Desire-Intention (BDI) modeling framework is proposed for human decision making and planning, whose sub-modules are based on Bayesian belief network (BBN), De...
The typical software engineering education lacks a practical experience of the process of software engineering-students are presented with relevant process theory in lectures, but...
— Antilock Braking System (ABS) exhibits strongly nonlinear and uncertain characteristics. To overcome these difficulties, robust control methods should be employed. In this pap...