Sciweavers

5634 search results - page 299 / 1127
» About Abstract Classes
Sort
View
MODELS
2007
Springer
15 years 11 months ago
Deriving Input Partitions from UML Models for Automatic Test Generation
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
Stephan Weißleder, Bernd-Holger Schlingloff
TGC
2007
Springer
15 years 11 months ago
Formal Approaches to Information-Hiding (Tutorial)
Abstract. In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to...
Romain Beauxis, Konstantinos Chatzikokolakis, Catu...
WG
2007
Springer
15 years 11 months ago
The Complexity of Bottleneck Labeled Graph Problems
Abstract. We present hardness results, approximation heuristics, and exact algorithms for bottleneck labeled optimization problems arising in the context of graph theory. This long...
Refael Hassin, Jérôme Monnot, Danny S...
125
Voted
WINE
2007
Springer
128views Economy» more  WINE 2007»
15 years 11 months ago
Total Latency in Singleton Congestion Games
Abstract. In this work, we consider singleton congestion games as a special class of (weighted) congestion games where each players' strategy consists only of a single resourc...
Martin Gairing, Florian Schoppmann
IJCNN
2006
IEEE
15 years 11 months ago
Backpropagation for Population-Temporal Coded Spiking Neural Networks
Abstract— Supervised learning rules for spiking neural networks are currently only able to use time-to-first-spike coding and are plagued by very irregular learning curves due t...
Benjamin Schrauwen, Jan M. Van Campenhout