608 search results - page 122 / 122 » Interactive Oracle Proofs |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
In recent years, considerable advances have been made in the study of properties of metric spaces in terms of their doubling dimension. This line of research has not only enhanced...
JUCS
2008
13 years 5 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
SRDS
2010
IEEE
13 years 2 months ago
2010
IEEE
Entities (e.g., users, services) have to authenticate themselves to service providers (SPs) in order to use their services. An entity provides personally identifiable information (...