34202 search results - page 250 / 6841 » The Tera computer system |
180
click to vote
ACL
2012
13 years 9 months ago
2012
Writing in English might be one of the most difficult tasks for EFL (English as a Foreign Language) learners. This paper presents FLOW, a writing assistance system. It is built ba...
328
click to vote
CONCUR
2012
Springer
13 years 9 months ago
2012
Springer
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
201
click to vote
HOTOS
2003
IEEE
16 years 16 days ago
2003
IEEE
Trusted computing (e.g. TCPA and Microsoft’s NextGeneration Secure Computing Base) has been one of the most talked about and least understood technologies in the computing commu...
199
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
Crime on the Internet has become a formidable challenge for university information technology and student judicial systems. The nature of university computing requires a relativel...
157
click to vote
ACSAC
2009
IEEE
16 years 2 months ago
2009
IEEE
: This paper reflects on many risks in the development and use of computer-related systems. It considers past and future alternatives, suggests some remedial approaches, and offe...