3815 search results - page 45 / 763 » An Implementation of Session Types |
107
Voted
WICSA
2008
15 years 4 months ago
2008
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...
130
click to vote
ENDM
2010
15 years 2 months ago
2010
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...
111
Voted
AIRS
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. As the type of content available on the web is becoming increasingly diverse, a particular challenge is to properly determine the types of documents sought by a user, tha...
114
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
122
Voted
SRDS
1998
IEEE
15 years 6 months ago
1998
IEEE
Optimistically replicated systems provide highly available data even when communication between data replicas is unreliable or unavailable. The high availability comes at the cost...