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...
217
Voted
ICITA
2005
IEEE
16 years 19 days 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,...
156
Voted
RE
2004
Springer
16 years 11 days 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 8 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
195
Voted
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