Sciweavers

1974 search results - page 129 / 395
» A Library System for Small-Scale Library
Sort
View
ICSE
1998
IEEE-ACM
15 years 7 months ago
Software Requirements Negotiation: Some Lessons Learned
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...
Barry W. Boehm, Alexander Egyed
ACSD
2001
IEEE
102views Hardware» more  ACSD 2001»
15 years 6 months ago
Exploration Testing
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...
Juhana Helovuo, Sari Leppänen
HT
2009
ACM
15 years 22 days ago
Managing publications and bookmarks with BibSonomy
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...
ICPP
1999
IEEE
15 years 7 months ago
Improving Performance of Load-Store Sequences for Transaction Processing Workloads on Multiprocessors
On-line transaction processing exhibits poor memory behavior in high-end multiprocessor servers because of complex sharing patterns and substantial interaction between the databas...
Jim Nilsson, Fredrik Dahlgren
CCS
2008
ACM
15 years 5 months ago
CMV: automatic verification of complete mediation for java virtual machines
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 ...