9444 search results - page 1578 / 1889 » The Language Model LMNtal |
196
click to vote
DSVIS
2005
Springer
16 years 7 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
177
click to vote
EGH
2005
Springer
16 years 7 days ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
143
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
156
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...
147
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...