9821 search results - page 327 / 1965 » A Framework for the Development of Protocols |
212
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...
200
click to vote
EUROCRYPT
2003
Springer
16 years 1 days ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
190
click to vote
AOSD
2006
ACM
16 years 25 days ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
200
click to vote
CSREAEEE
2007
15 years 8 months ago
2007
- We present the Adaptive eLearning Platform (AeLP) – a platform solution for creating rich, interactive, and highly visual, adaptive eLearning activities designed using Virtual ...
150
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Manycast is a group communication primitive wherein the source is required to send data packets to a certain number of a given set of destinations. In this article, we design faul...