Sciweavers

1829 search results - page 221 / 366
» Towards Validation of Requirements Models
Sort
View
ISCC
2003
IEEE
153views Communications» more  ISCC 2003»
15 years 12 months ago
A Human-based Technique for Measuring Video Data Similarity
The increasing use of multimedia streams nowadays necessitates the development of efficient and effective methodologies for manipulating databases storing them. Moreover, content-...
Waleed E. Farag, Hussein M. Abdel-Wahab
SIGADA
2001
Springer
15 years 11 months ago
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
Dhavy Gantsou
RE
1999
Springer
15 years 11 months ago
Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick ...
ECIS
2000
15 years 8 months ago
Yarra Valley Water: A Successful Change Programme for a Corporatised Water Utility
Yarra Valley Water, a corporatised water utility achieved the significant efficiencies that are promised from the move towards privatisation. At the same time it substantially imp...
J. Brudenell, Geoff A. Sandy
CRYPTO
2010
Springer
158views Cryptology» more  CRYPTO 2010»
15 years 7 months ago
Interactive Locking, Zero-Knowledge PCPs, and Unconditional Cryptography
Motivated by the question of basing cryptographic protocols on stateless tamper-proof hardware tokens, we revisit the question of unconditional two-prover zero-knowledge proofs fo...
Vipul Goyal, Yuval Ishai, Mohammad Mahmoody, Amit ...