2797 search results - page 357 / 560 » Control Structures |
155
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We propose a virtual teacher for the evaluation of students’ competencies. It aims to improve learning by making personalized suggestions on the learning materials. It ...
164
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
130
click to vote
ER
2010
Springer
15 years 2 months ago
2010
Springer
The REpresentational State Transfer (REST) represents an extensible, easy and elegant architecture for accessing web-based resources. REST alone and in combination with XML is fast...
151
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Advance reservation of connection requests is a growing focus area and a range of solutions have been proposed. However, most efforts here have focused on scheduling algorithm desi...
155
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...