Sciweavers

8154 search results - page 430 / 1631
» Understanding changes in use cases: A case study
Sort
View
RE
2006
Springer
15 years 6 months ago
Using trust assumptions with security requirements
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
Charles B. Haley, Robin C. Laney, Jonathan D. Moff...
ASIASIM
2004
Springer
16 years 8 days ago
Simulating Cyber-intrusion Using Ordered UML Model-Based Scenarios
Abstract. Network security simulator is required for the study on the cyber intrusion and defense as cyber terrors have been increasingly popular. Until now, network security simul...
Eung Ki Park, Joo Beom Yun, Hoh Peter In
216
Voted
RTSS
2008
IEEE
16 years 1 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
175
Voted
APSEC
2004
IEEE
15 years 10 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
CORR
2008
Springer
143views Education» more  CORR 2008»
15 years 7 months ago
Joint Source Channel Coding with Side Information Using Hybrid Digital Analog Codes
We study the joint source channel coding problem of transmitting an analog source over a Gaussian channel in two cases - (i) the presence of interference known only to the transmit...
Makesh Pravin Wilson, Krishna R. Narayanan, Giusep...