Sciweavers

19003 search results - page 139 / 3801
» We Need Assurance!
Sort
View
GI
2004
Springer
14 years 2 months ago
Speeding up Transaction-oriented Communications in the Internet
: Future mobile networks will offer a great variety of multimedia services. DiffServ is the promising framework standardized by the IETF to enhance the Internet with the essential ...
Tobias Küfner, Mark Doll, Götz Lichtwald...
COMPSAC
2003
IEEE
14 years 2 months ago
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...
Huo Yan Chen, Yu Xia Sun, T. H. Tse
FDL
2003
IEEE
14 years 2 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
IWIA
2003
IEEE
14 years 2 months ago
Intrusion Detection Testing and Benchmarking Methodologies
— The ad-hoc methodology that is prevalent in today’s testing and evaluation of network intrusion detection algorithms and systems makes it difficult to compare different algor...
Nicholas Athanasiades, Randal Abler, John G. Levin...
ACNS
2010
Springer
150views Cryptology» more  ACNS 2010»
14 years 2 months ago
Regulatory Compliant Oblivious RAM
Abstract. We introduce WORM-ORAM, a first mechanism that combines Oblivious RAM (ORAM) access privacy and data confidentiality with Write Once Read Many (WORM) regulatory data re...
Bogdan Carbunar, Radu Sion