14244 search results - page 2383 / 2849 » Modeling Program Predictability |
139
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
119
click to vote
IPSN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
117
Voted
SAMOS
2005
Springer
15 years 10 months ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
141
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
137
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...