Sciweavers

4719 search results - page 562 / 944
» Spreadsheet functional programming
Sort
View
129
Voted
EUROITV
2007
Springer
15 years 11 months ago
EPG-Board a Social Application for the OmegaBox Media Center
The goal of this research project is to investigate the use of technology in supporting social relationships by helping users throughout the decisional process (“What program cou...
Arianna Iatrino, Sonia Modeo
GD
2007
Springer
15 years 11 months ago
Constrained Stress Majorization Using Diagonally Scaled Gradient Projection
Abstract. Constrained stress majorization is a promising new technique for integrating application specific layout constraints into forcedirected graph layout. We significantly i...
Tim Dwyer, Kim Marriott
IFIP
2007
Springer
15 years 11 months ago
Saturation Throughput Analysis of IEEE 802.11g (ERP-OFDM) Networks
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...
Krzysztof Szczypiorski, Józef Lubacz
TPHOL
2005
IEEE
15 years 10 months ago
Axiomatic Constructor Classes in Isabelle/HOLCF
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...
Brian Huffman, John Matthews, Peter White
CAISE
2005
Springer
15 years 10 months ago
Quality-Based Software Reuse
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...
Julio Cesar Sampaio do Prado Leite, Yijun Yu, Lin ...