1154 search results - page 109 / 231 » Case Study: Software Product Integration Practices |
INFORMATICALT
2007
13 years 8 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
The implementation of security principles, like least privilege, in a software architecture is difficult, as no systematic rules on how to apply them in practice exist. As a resu...
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving softw...
ETFA
2008
IEEE
14 years 3 months ago
2008
IEEE
RFID are used to identify products in factory automation applications; Multi agent systems are a possibility to introduce flexibility into production processes. This article intro...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are li...