Sciweavers

CORR
2008
Springer
103views Education» more  CORR 2008»
14 years 19 days ago
When, why and how to test spreadsheets
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...
Louise Pryor
CORR
2008
Springer
115views Education» more  CORR 2008»
14 years 19 days ago
New Guidelines For Spreadsheets
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...
John F. Raffensperger
CORR
2008
Springer
110views Education» more  CORR 2008»
14 years 19 days ago
Audit and Change Analysis of Spreadsheets
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...
John C. Nash, Neil Smith, Andy Adler
CORR
2008
Springer
127views Education» more  CORR 2008»
14 years 19 days ago
Energy-Efficient Resource Allocation in Multiuser MIMO Systems: A Game-Theoretic Framework
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 ...
Stefano Buzzi, H. Vincent Poor, Daniela Saturnino
CORR
2008
Springer
169views Education» more  CORR 2008»
14 years 19 days ago
Congestion Reduction Using Ad hoc Message Dissemination in Vehicular Networks
Abstract-- Vehicle-to-vehicle communications can be used effectively for intelligent transport systems (ITS) and locationaware services [1]. The ability to disseminate information ...
Thomas D. Hewer, Maziar Nekovee
CORR
2008
Springer
189views Education» more  CORR 2008»
14 years 19 days ago
Algorithms for Dynamic Spectrum Access with Learning for Cognitive Radio
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...
Jayakrishnan Unnikrishnan, Venugopal V. Veeravalli
CORR
2008
Springer
89views Education» more  CORR 2008»
14 years 19 days ago
On Endogenous Reconfiguration in Mobile Robotic Networks
: 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...
Ketan Savla, Emilio Frazzoli
CORR
2008
Springer
106views Education» more  CORR 2008»
14 years 19 days ago
Topological Observations on Multiplicative Additive Linear Logic
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 ...
André Hirschowitz, Michel Hirschowitz, Tom ...