2958 search results - page 310 / 592 » Extending and Implementing RASP |
104
click to vote
ENTCS
2006
15 years 18 days ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
94
Voted
IJET
2008
15 years 18 days ago
2008
Information about a student's level or state of knowledge is a key aspect for efficient, personalized learning activities. E-learning systems gain such information in two ways...
88
Voted
FUIN
2006
15 years 18 days ago
2006
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
101
Voted
IJSWIS
2008
15 years 18 days ago
2008
Relational technology has shown to be very useful for scalable Semantic Web data management. Numerous researchers have proposed to use RDBMSs to store and query voluminous RDF dat...
95
Voted
COMGEO
2007
ACM
15 years 18 days ago
2007
ACM
Arrangements of planar curves are fundamental structures in computational geometry. Recently, the arrangement package of Cgal, the Computational Geometry Algorithms Library, has b...