Sciweavers

3693 search results - page 522 / 739
» Network Processing of Documents, for Documents, by Documents
Sort
View
PROFES
2004
Springer
16 years 5 hour ago
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
Sergiy A. Vilkomir, Aditya K. Ghose
RE
2004
Springer
16 years 4 hour ago
The Effect of Trust Assumptions on the Elaboration of Security Requirements
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
Charles B. Haley, Robin C. Laney, Jonathan D. Moff...
WEBI
2004
Springer
15 years 12 months ago
Estimating Size of Search Engines in an Uncooperative Environment
The number of documents that are indexed by a search engine is referred to as the size of the search engine. The information about the size of each underlying search engine is ess...
Surendra Karnatapu, Karthik Ramachandran, Zonghuan...
ECBS
2003
IEEE
91views Hardware» more  ECBS 2003»
15 years 12 months ago
Modeling and Building Reliable, Re-Useable Software
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
Ferdinand Wagner, Peter Wolstenholme
FDL
2003
IEEE
15 years 12 months ago
UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
A. Minosi, S. Mankan, A. Martinola, F. Balzarini, ...