1448 search results - page 81 / 290 » From Requirements to Code Revisited |
137
Voted
ML
2006
ACM
15 years 9 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
124
Voted
STOC
2010
ACM
15 years 8 months ago
2010
ACM
Revisiting the “small-world” experiments of the ’60s, Kleinberg observed that individuals are very effective at constructing short chains of acquaintances between any two p...
139
Voted
ASIACRYPT
2001
Springer
15 years 8 months ago
2001
Springer
The aim of this article is to propose a fully distributed environment for the RSA scheme. What we have in mind is highly sensitive applications and even if we are ready to pay a pr...
123
Voted
IJCAI
2007
15 years 5 months ago
2007
In this paper we revisit the classical NLP problem of prepositional phrase attachment (PPattachment). Given the pattern V −NP1−P −NP2 in the text, where V is verb, NP1 is a ...
137
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
We revisit one of the most fundamental problems in multimedia that is receiving enormous attention from researchers without making much progress in solving it: the problem of brid...