Sciweavers

2409 search results - page 299 / 482
» Logical systems for structured specifications
Sort
View
CCS
2009
ACM
16 years 7 months ago
Intrusion response cost assessment methodology
In this paper we present a structured methodology for evaluating cost of responses based on three factors: the response operational cost associated with the daily maintenance of t...
Chris Strasburg, Natalia Stakhanova, Samik Basu, J...
ICITA
2005
IEEE
15 years 12 months ago
Accessibility Solutions for Visually Impaired Users of Web Discussion Boards
Web-based content management systems present specific presentation and navigational problems for visually impaired users. These systems are widely used in e-learning, ironically t...
Paul Andrew Watters, Antonio Araujo, Armin Hezart,...
RE
2004
Springer
15 years 11 months ago
Requirements for Requirements Management Tools
Tools for managing systems requirements help keeping specifications consistent, up-to-date and accessible. Since the requirements for complex systems are themselves complex inform...
Matthias Hoffmann, Nikolaus Kühn, Matthias We...
COLING
2008
15 years 7 months ago
Contents Modelling of Neo-Sumerian Ur III Economic Text Corpus
This paper describes a system for processing economic documents written in the ancient Sumerian language. The system is application-oriented and takes advantage of the simplicity ...
Wojciech Jaworski
FPGA
2004
ACM
140views FPGA» more  FPGA 2004»
15 years 10 months ago
Using reconfigurability to achieve real-time profiling for hardware/software codesign
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...
Lesley Shannon, Paul Chow