8766 search results - page 1279 / 1754 » Functional logic programming |
122
Voted
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the saturation throughput analysis of IEEE 802.11g (ERP-OFDM) networks. The presented work is based on the Markov model previously introduced and validated by t...
153
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
107
Voted
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Work in software reuse focuses on reusing artifacts. In this context, finding a reusable artifact is driven by a desired functionality. This paper proposes a change to this common...
132
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
110
click to vote
ICN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...