1914 search results - page 348 / 383 » Semantic domains for Handel-C |
AAMAS
2002
Springer
13 years 7 months ago
2002
Springer
Service matchmaking among heterogeneous software agents in the Internet is usually done dynamically and must be efficient. There is an obvious trade-off between the quality and eff...
CCR
2004
13 years 7 months ago
2004
Electronic mail is an unquestionably vital component of the Internet infrastructure. While the general perception of email is that it "just works," surprisingly little d...
ENDM
2000
13 years 7 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
ENTCS
2000
13 years 7 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Recommender systems learn about user preferences over time, automatically finding things of similar interest. This reduces the burden of creating explicit queries. Recommender sys...