134 search results - page 17 / 27 » Deriving Safety Requirements Using Scenarios |
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
CSCW
2011
ACM
13 years 2 months ago
2011
ACM
Collaboration is key to safety and efficiency in Air Traffic Control. Legacy paper-based systems enable seamless and non-verbal collaboration, but trends in new software and hardw...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
— In today’s service market the provisioning of high quality services has become a critical issue for providers as the business success of their customers is often based on the...
EDBT
2006
ACM
14 years 7 months ago
2006
ACM
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
TSP
2010
13 years 2 months ago
2010
In this paper, an adaptive cooperation diversity scheme with best-relay selection is proposed for multiple-relay cognitive radio networks to improve the performance of secondary tr...