3116 search results - page 195 / 624 » Positively dependent types |
132
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
153
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
128
Voted
SRDS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...
166
Voted
DALT
2007
Springer
15 years 6 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
131
click to vote
DOA
2001
15 years 6 months ago
2001
This paper presents and discusses some infrastructure services necessary for distributed applications development. The main service considered is the component search service whic...