474 search results - page 34 / 95 » Assurance Based Development of Critical Systems |
188
click to vote
EDCC
2008
Springer
15 years 6 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
165
click to vote
NOMS
2000
IEEE
15 years 9 months ago
2000
IEEE
Management of large-scale Network-Centric Systems (NCS) and their applications is an extremely complex and challenging task due to factors such as centralized management architect...
142
click to vote
CHIMIT
2009
ACM
15 years 11 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
135
Voted
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
165
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
The GridBASE framework for database-driven grid computing is presented. The design and a prototype implementation of the framework is discussed. Industry-strength database technol...