1280 search results - page 185 / 256 » Soft Typing with Conditional Types |
AGENTS
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we will discuss different types of control over synthetic characters in interactive stories. We will argue that, to attain a deeper and more engaging control, in ce...
ICOIN
2001
Springer
14 years 1 months ago
2001
Springer
WAP is a set of protocols that optimizes standard TCP/IP/HTTP/HTML protocols, for use under the low bandwidth, high latency conditions often found in wireless networks. But, end-t...
SAFECOMP
2001
Springer
14 years 1 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
WISE
2000
Springer
14 years 1 months ago
2000
Springer
Most Internet search engines are keyword-based. They are not efficient for the queries where geographical location is important, such as finding hotels within an area or close to ...
PODC
1999
ACM
14 years 1 months ago
1999
ACM
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...