2255 search results - page 53 / 451 » High Assurance Software Systems |
CLEIEJ
2007
13 years 8 months ago
2007
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...
AC
1999
Springer
14 years 1 months ago
1999
Springer
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled ...
HCI
2009
13 years 6 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
We introduce a new practical mechanism for remote data storage with efficient access pattern privacy and correctness. A storage client can deploy this mechanism to issue encrypted...
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...