Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...
The GOODLY language can be used to specify the design of systems built according to the Object Oriented paradigm. It was conceived with the main purpose of facilitating the extrac...
Fernando Brito e Abreu, Luis Ochoa, Miguel Goul&at...
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
Roland Mittermeir, Helfried Pirker, Dominik Rauner...
This paper proposes a new method for designing dynamic wrinkles that appear and disappear according to the underlying deformation of tissues. The user positions and orients wrinkl...