Sciweavers

2623 search results - page 249 / 525
» tools 2010
Sort
View
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 6 months ago
A security framework for SOA applications in mobile environment
A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enab...
Johnneth de Sene Fonseca, Zair Abdelouahab, Deniva...
CORR
2010
Springer
109views Education» more  CORR 2010»
15 years 6 months ago
Oil Price Trackers Inspired by Immune Memory
We outline initial concepts for an immune inspired algorithm to evaluate and predict oil price time series data. The proposed solution evolves a short term pool of trackers dynami...
William O. Wilson, Phil Birkin, Uwe Aickelin
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 6 months ago
Coordination and Bargaining over the Gaussian Interference Channel
This work considers coordination and bargaining between two selfish users over a Gaussian interference channel using game theory. The usual information theoretic approach assumes f...
Xi Liu, Elza Erkip
CORR
2010
Springer
117views Education» more  CORR 2010»
15 years 6 months ago
Testing and Debugging Techniques for Answer Set Solver Development
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...
Robert Brummayer, Matti Järvisalo
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 6 months ago
Well-definedness of Streams by Transformation and Termination
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
Hans Zantema