6527 search results - page 1042 / 1306 » On Typing Information Flow |
169
click to vote
MSWIM
2005
ACM
16 years 29 days ago
2005
ACM
We investigate how to obtain a balance between privacy and audit requirements in vehicular networks. Challenging the current trend of relying on asymmetric primitives within VANET...
227
click to vote
SACMAT
2005
ACM
16 years 29 days ago
2005
ACM
Integration of version and access control of XML documents has the benefit of regulating access to rapidly growing archives of XML documents. Versioned XML documents provide us w...
189
click to vote
SIGECOM
2005
ACM
16 years 29 days ago
2005
ACM
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...
178
click to vote
AIED
2005
Springer
16 years 29 days ago
2005
Springer
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...
176
click to vote
AIED
2005
Springer
16 years 29 days ago
2005
Springer
Qualitative Reasoning (QR) formalisms provide ontological primitives for capturing conceptual knowledge. Recently QR-based diagrammatic tools are being developed to support learne...