3555 search results - page 234 / 711 » Security-Critical System Development with Extended Use Cases |
162
click to vote
SCS
2004
15 years 6 months ago
2004
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
128
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Concept location is a critical activity during software evolution as it produces the location where a change is to start in response to a modification request, such as, a bug repo...
136
click to vote
VLDB
1993
ACM
15 years 9 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
165
Voted
ICUMT
2009
15 years 2 months ago
2009
Abstract-- We consider the problem of Spectrum Sensing in Cognitive Radio Networks. In our previous work we have developed DualCUSUM, a distributed algorithm for change detection a...
199
click to vote
TSE
2011
15 years 44 min ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...