Sciweavers

1031 search results - page 125 / 207
» codes 2004
Sort
View
MKM
2004
Springer
15 years 4 months ago
An Architecture for Distributed Mathematical Web Services
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
Elena S. Smirnova, Clare M. So, Stephen M. Watt
79
Voted
OOPSLA
2004
Springer
15 years 4 months ago
An aspect-oriented generative approach
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...
Uirá Kulesza, Alessandro F. Garcia, Carlos ...
PARA
2004
Springer
15 years 4 months ago
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
Abbas Edalat, Dirk Pattinson
PATMOS
2004
Springer
15 years 4 months ago
A Multi-level Validation Methodology for Wireless Network Applications
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
Christos Drosos, Labros Bisdounis, Dimitris Metafa...
PCM
2004
Springer
106views Multimedia» more  PCM 2004»
15 years 4 months ago
Adaptive FEC Control for Reliable High-Speed UDP-Based Media Transport
In this paper, we propose a reliable high-speed UDP-based media transport with an adaptive FEC (forward error correction) error control. The proposed adaptive transport scheme cont...
Young-Woo Kwon, Hyeyoung Chang, Jongwon Kim