1280 search results - page 90 / 256 » Soft Typing with Conditional Types |
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
AIED
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we investigate the role of reflection in simulation based learning by manipulating two independent factors that each separately lead to significant learning effects, ...
AUSDM
2007
Springer
14 years 3 months ago
2007
Springer
Recommender systems are important to help users select relevant and personalised information over massive amounts of data available. We propose an unified framework called Prefer...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
MOBIQUITOUS
2005
IEEE
14 years 2 months ago
2005
IEEE
Third generation mobile communication systems will provide more advanced types of interactive and distribution services, and video is one of the most prominent applications for mu...