75 search results - page 9 / 15 » Secure Systems Development -- The Evolving Integration of Va... |
OOPSLA
2007
Springer
14 years 25 days ago
2007
Springer
Requirements volatility is an issue in software development life cycle which often originated from our incomplete knowledge about the domain of interest. In this paper, we propose...
POPL
2008
ACM
14 years 7 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
ODBIS
2007
Springer
14 years 25 days ago
2007
Springer
There is a growing need to define a semantic mapping from a database schema to an ontology. Such a mapping is an integral part of the data integration systems that use an ontology...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
DATE
2008
IEEE
14 years 1 months ago
2008
IEEE
SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...