Sciweavers

9316 search results - page 376 / 1864
» Analysis of traceback techniques
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
Application of Hazard Analysis to Software Quality Modelling
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwo...
CCECE
2009
IEEE
15 years 11 months ago
Capacity analysis of a decode-and-forward cooperative network under adaptive transmission
—This paper presents a capacity analysis of a decode-and-forward (DF) cooperative network with adaptive source transmission. Three different adaptive techniques are considered: (...
Prasanna Kalansuriya, Chintha Tellambura
EUROCRYPT
2001
Springer
15 years 11 months ago
Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
Ran Canetti, Hugo Krawczyk
177
Voted
NLPRS
2001
Springer
15 years 11 months ago
The Grammatical Function Analysis between Adnoun Clause and Noun Phrase in Korean
This research focuses on analysis of the grammatical functions between an adnoun clause and a noun phrase in Korean. The key task is to determine the relation between two constitu...
Songwook Lee, Tae-Yeoub Jang, Jungyun Seo
CSFW
2000
IEEE
15 years 11 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...