3564 search results - page 531 / 713 » Evaluating a Formal Modelling Language |
CAV
2009
Springer
15 years 11 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
100
click to vote
TIME
2009
IEEE
15 years 5 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
ADC
2009
Springer
15 years 5 months ago
2009
Springer
Location-based context-aware services for mobile users need to collaborate in disparate networks. Services come and go as the user moves and no central repository is available. Th...
101
click to vote
AIED
2007
Springer
15 years 4 months ago
2007
Springer
Adding student collaboration to an intelligent tutoring system could leverage the benefits of both approaches. We have incorporated a mutual peer tutoring script, where students of...
104
click to vote
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...