Sciweavers

163 search results - page 19 / 33
» What is an Argument
Sort
View
ECBS
1997
IEEE
144views Hardware» more  ECBS 1997»
14 years 6 days ago
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
Gérard Le Lann
GEOS
2009
Springer
14 years 18 days ago
The Case for Grounding Databases
What is the intended interpretation of a geospatial database in terms of reproducible experiences? How should places on a digital globe be interpreted on the earth surface? And how...
Simon Scheider
RE
2001
Springer
14 years 13 days ago
Goal-Oriented Requirements Engineering: A Guided Tour
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
Axel van Lamsweerde
ADBIS
2000
Springer
97views Database» more  ADBIS 2000»
14 years 10 days ago
An Efficient Storage Manager
When dealing with large quantities of clauses, the use of persistent knowledge is inevitable, and indexing methods are essential to answer queries efficiently. We introduce PerKMan...
Dimitris G. Kapopoulos, Michael Hatzopoulos, Panag...
EUROCRYPT
2006
Springer
13 years 11 months ago
Perfect Non-interactive Zero Knowledge for NP
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
Jens Groth, Rafail Ostrovsky, Amit Sahai