11324 search results - page 1920 / 2265 » Coordination Models and Languages |
163
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...
138
click to vote
DAGM
2005
Springer
16 years 9 days ago
2005
Springer
Over the last decade voice technologies for telephony and embedded solutions became much more mature, resulting in applications providing mobile access to digital information from ...
198
click to vote
DSVIS
2005
Springer
16 years 9 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...
180
click to vote
EGH
2005
Springer
16 years 9 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...
145
click to vote
ICALP
2005
Springer
16 years 9 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...