474 search results - page 91 / 95 » Assurance Based Development of Critical Systems |
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
I report briefly on some of my own work in each of these areas and elucidate some of the questions that this research has raised. Then I propose as a research agenda the developme...
DAGSTUHL
2006
13 years 8 months ago
2006
This paper presents an update on the current state of development of the Text Encoding Initiative's Guidelines for Electronic Text Encoding and Interchange. Since the last ma...
BMCBI
2010
13 years 7 months ago
2010
Background: Extracting and visualizing of protein-protein interaction (PPI) from text literatures are a meaningful topic in protein science. It assists the identification of inter...
JPDC
2008
13 years 7 months ago
2008
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...
KI
2008
Springer
13 years 7 months ago
2008
Springer
Requirements engineering is a central part of software projects. It is assumed that two third of all errors in software projects are caused by forgotten requirements or mutual misu...