Sciweavers

4029 search results - page 308 / 806
» Experience with Software Watermarking
Sort
View
IPPS
1994
IEEE
15 years 10 months ago
Scalable Spin Locks for Multiprogrammed Systems
Synchronization primitives for large shared-memory multiprocessors need to minimize latency and contention. Software queue-based locks address these goals, but suffer if a process...
Robert W. Wisniewski, Leonidas I. Kontothanassis, ...
ICSE
1994
IEEE-ACM
15 years 10 months ago
On Formal Requirements Modeling Languages: RML Revisited
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
Sol J. Greenspan, John Mylopoulos, Alexander Borgi...
ICECCS
2007
IEEE
111views Hardware» more  ICECCS 2007»
15 years 10 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...
IWSSD
2000
IEEE
15 years 10 months ago
The Complexity of TRMCS-like Spiral Specification
Modern software is often constructed using "spiral specification"; i.e. the specification is a dynamic document that is altered by experience with the current version of...
Tim Menzies
SAFECOMP
2000
Springer
15 years 10 months ago
The Safety Management of Data-Driven Safety-Related Systems
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H....