7529 search results - page 404 / 1506 » The Modula-3 Type System |
161
click to vote
ACSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper investigates the general problem of performing key-value search at untrusted servers without loss of user privacy. Specifically, given key-value pairs from multiple ow...
182
click to vote
ITS
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
182
click to vote
ITS
2004
Springer
16 years 6 days ago
2004
Springer
Research has shown that students’ problem-solving actions vary in type and duration. Among other causes, this behavior is a result of strategies that are driven by different goal...
154
click to vote
OPNETEC
2004
Springer
16 years 5 days ago
2004
Springer
: In this paper, we propose an architecture of Optical Burst Switched WDM ring network. In our proposed OBS ring network, every node is equipped with one tunable transmitter and on...
176
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...