176 search results - page 11 / 36 » Types for Units-of-Measure: Theory and Practice |
APLAS
2010
ACM
13 years 6 months ago
2010
ACM
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced IntML, a functional programming langu...
OPODIS
2007
13 years 9 months ago
2007
Abstract. In small-world networks, each peer is connected to its closest neighbors in the network topology, as well as to additional long-range contact(s), also called shortcut(s)....
CADE
2004
Springer
14 years 7 months ago
2004
Springer
Abstract. Undefined terms are commonplace in mathematics, particularly in calculus. The traditional approach to undefinedness in mathematical practice is to treat undefined terms a...
JTAER
2008
13 years 7 months ago
2008
The main purpose of the paper is to explore and discuss the influence of product type on customer interaction in electronic commerce. We have conducted two qualitative case studie...
ECAI
1994
Springer
13 years 11 months ago
1994
Springer
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...