The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Personal robots are designed to provide entertainment, companion and communication interfaces. They can play an important role as natural, flexible and non-invasive interfaces to ...
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
The growing complexity of distributed biomedical application requirements present new challenges to the representation of software architectural analysis and design. This is the c...