4870 search results - page 189 / 974 » Challenges of component-based development |
133
click to vote
FAC
2008
15 years 3 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
102
click to vote
IJEH
2008
15 years 3 months ago
2008
: South Central Texas emergency planners have organised a regional Personal Identity Verification (PIV) project for hospital and emergency workers. This paper describes the develop...
202
click to vote
FECS
2010
15 years 1 months ago
2010
Teaching software engineering at the undergraduate level is an exciting and challenging undertaking. Students come to software engineering with a variety of technical and sift ski...
133
click to vote
RFIDSEC
2010
15 years 1 months ago
2010
Authentication for low-cost Radio-Frequency IDentification (RFID) is a booming research topic. The challenge is to develop secure protocols using lightweight cryptography, yet ensu...
116
click to vote
ECBS
2008
IEEE
15 years 10 months ago
2008
IEEE
Self-adaptation is emerging as an increasingly important capability for many applications, particularly those deployed in dynamically changing environments, such as ecosystem moni...