12741 search results - page 312 / 2549 » Editorial and call for papers |
176
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...
165
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
– This paper introduces a novel congestion control scheme for TCP over OBS networks, called Statistical Additive Increase Multiplicative Decrease (SAIMD), which aims to improve t...
184
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
208
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we introduce a new curvature estimator based on global optimisation. This method called Global Min-Curvature exploits the geometric properties of digital contours by ...
199
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we prove that the sponge construction introduced in [4] is indifferentiable from a random oracle when being used with a random transformation or a random pe...