474 search results - page 26 / 95 » Assurance Based Development of Critical Systems |
128
click to vote
CSMR
2000
IEEE
15 years 9 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
151
Voted
DSOM
2003
Springer
15 years 10 months ago
2003
Springer
TrustedFlow™ is a software solution to the problem of remotely authenticating code during execution. A continuous flow of idiosyncratic signatures assures that the software from ...
147
click to vote
AAAI
2000
15 years 6 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
175
Voted
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Recent advances in wireless sensor technology facilitate the development of remote healthcare systems, which can significantly reduce the healthcare cost. Despite the ini...
152
Voted
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Developing large multi-agent systems is a complex task involving the processes of the requirement, architecture, design and implementation of these systems. In particular, the arc...