Negotiating requirements is one of the first steps in any software system life cycle, but its results have probably the most significant impact on the system's value. However...
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
In this demo we present BibSonomy, a social bookmark and publication sharing system. Categories and Subject Descriptors H.4 [Information Systems Applications]: Miscellaneous; H.3....
Dominik Benz, Folke Eisterlehner, Andreas Hotho, R...
On-line transaction processing exhibits poor memory behavior in high-end multiprocessor servers because of complex sharing patterns and substantial interaction between the databas...
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...