Sciweavers

2409 search results - page 299 / 482
» Logical systems for structured specifications
Sort
View
CCS
2009
ACM
16 years 4 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 9 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 9 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 5 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 7 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