Sciweavers

2035 search results - page 215 / 407
» Communicating Scala Objects
Sort
View
DIGRA
2005
Springer
14 years 2 months ago
The Expressions of Colours
A whole world is presented in front of the eyes of a gamer. This world has shapes and colours. What do colours transmit? Is this considered in digital games? These are the main is...
Veronica Zammitto
ICLP
2005
Springer
14 years 2 months ago
A Distributed and Probabilistic Concurrent Constraint Programming Language
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
Luca Bortolussi, Herbert Wiklicky
IFIP
2005
Springer
14 years 2 months ago
Multi-Stage Stochastic Electricity Portfolio Optimization in Liberalized Energy Markets
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
Ronald Hochreiter, Georg Ch. Pflug, David Wozabal
LPAR
2005
Springer
14 years 2 months ago
The Theorema Environment for Interactive Proof Development
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
Florina Piroi, Temur Kutsia
TCC
2005
Springer
77views Cryptology» more  TCC 2005»
14 years 2 months ago
Upper and Lower Bounds on Black-Box Steganography
We study the limitations of steganography when the sender is not using any properties of the underlying channel beyond its entropy and the ability to sample from it. On the negati...
Nenad Dedic, Gene Itkis, Leonid Reyzin, Scott Russ...