851 search results - page 5 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
IPPS
2002
IEEE
14 years 10 days ago
2002
IEEE
MMMACNS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Partner key management (PKM) is an interoperable credential management protocol for online commercial transactions of high value. PKM reinterprets traditional public key ...
CSMR
2000
IEEE
13 years 11 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
Pervasive computing systems provide personalized and intimate services to improve users' quality of life by integrating computation and communication into the environments. Wi...
ICSM
2008
IEEE
14 years 1 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...