7080 search results - page 693 / 1416 » Designing High Integrity Systems Using Aspects |
181
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
188
click to vote
VSTTE
2005
Springer
16 years 16 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
192
click to vote
SIGADA
2004
Springer
16 years 13 days ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
187
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a demonstration of the intelligent agent-based system ORIENT (Overcoming Refugee Integration with Empathic Novel Technology). We summarise the application domain: educa...
201
click to vote
EUSAI
2007
Springer
16 years 1 months ago
2007
Springer
Organisations want nowadays more controlled processes and easily usable solutions, but achieving them requires winning many challenges. Radio Frequency Identification (RFID) based ...