6 search results - page 1 / 2 » Smyle: A Tool for Synthesizing Distributed Models from Scena... |
CONCUR
2008
Springer
13 years 6 months ago
2008
Springer
APN
2010
Springer
13 years 9 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
ICALT
2009
IEEE
13 years 11 months ago
2009
IEEE
Designing a computer-supported learning scenario involving a constructivist approach of learning lays on a paradox. On the one hand, learning flows must be precisely described –...
SYNTHESE
2008
2008
How experimental algorithmics can benefit from Mayo's extensions to Neyman-Pearson theory of testing
13 years 5 months ago
Although theoretical results for several algorithms in many application domains were presented during the last decades, not all algorithms can be analyzed fully theoretically. Exp...
ACMACE
2008
ACM
13 years 7 months ago
2008
ACM
Dimensionality reduction is a statistical tool commonly used to map high-dimensional data into lower a dimensionality. The transformed data is typically more suitable for regressi...