3591 search results - page 437 / 719 » Typing linear constraints |
169
click to vote
ECSQARU
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
164
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...
140
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
157
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
195
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...