16206 search results - page 117 / 3242 » At Issue |
MIS
2001
Springer
15 years 6 months ago
2001
Springer
108
click to vote
MMMACNS
2001
Springer
15 years 6 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
117
click to vote
POLICY
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
QOFIS
2001
Springer
15 years 6 months ago
2001
Springer
ECBS
2000
IEEE
15 years 6 months ago
2000
IEEE
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...