134 search results - page 15 / 27 » Deriving Safety Requirements Using Scenarios |
WSC
2000
13 years 9 months ago
2000
Business processes are increasingly key to the success of companies in the service industry. It is important that these processes are designed and maintained to deliver the most c...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper investigates the problem of secure lossy source coding in the presence of an eavesdropper with arbitrary correlated side informations at the legitimate decoder (referre...
ISWC
2002
IEEE
14 years 16 days ago
2002
IEEE
A wearable situational awareness terminal (WearSAT) that provides text, graphics, and video to an astronaut via a near-eye display, and acts as a client on a wireless network, has...
IFIP13
2004
13 years 9 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we derive the Multidimensional Statistical Resolution Limit (MSRL) to resolve two closely spaced targets using a widely spaced MIMO radar. Toward this end, we perfo...