CORR
2008
Springer
13 years 10 months ago
2008
Springer
Testing is a vital part of software development, and spreadsheets are like any other software in this respect. This paper discusses the testing of spreadsheets in the light of one...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
This article examines rules of style for text, graphics, and mathematics and applies these rules to spreadsheets. The article describes the new style in detail with an example and...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to veri...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
This paper focuses on the cross-layer issue of resource allocation for energy efficiency in the uplink of a multiuser MIMO wireless communication system. Assuming that all of the ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
CORR
2008
Springer
13 years 10 months ago
2008
Springer
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract-- Vehicle-to-vehicle communications can be used effectively for intelligent transport systems (ITS) and locationaware services [1]. The ability to disseminate information ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We study the problem of dynamic spectrum sensing and access in cognitive radio systems as a partially observed Markov decision process (POMDP). A group of cognitive users cooperati...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
: In this paper, our focus is on certain applications for mobile robotic networks, where reconfiguration is driven by factors intrinsic to the network rather than changes in the ex...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
As an attempt to uncover the topological nature of composition of strategies in game semantics, we present a "topological" game for Multiplicative Additive Linear Logic ...