Sciweavers

9997 search results - page 1598 / 2000
» The case for crowd computing
Sort
View
ECOOP
2006
Springer
15 years 10 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...
EPEW
2006
Springer
15 years 10 months ago
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
Manuela L. Bujorianu, Marius C. Bujorianu
EVOW
2006
Springer
15 years 10 months ago
On Interactive Evolution Strategies
Abstract. In this paper we discuss Evolution Strategies within the context of interactive optimization. Different modes of interaction will be classified and compared. A focus will...
Ron Breukelaar, Michael Emmerich, Thomas Bäck
FOIKS
2006
Springer
15 years 10 months ago
Consistency Checking Algorithms for Restricted UML Class Diagrams
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
Ken Kaneiwa, Ken Satoh
GECCO
2006
Springer
265views Optimization» more  GECCO 2006»
15 years 10 months ago
Cutting stock waste reduction using genetic algorithms
A new model for the One-dimensional Cutting Stock problem using Genetic Algorithms (GA) is developed to optimize construction steel bars waste. One-dimensional construction stocks...
Yaser M. A. Khalifa, O. Salem, A. Shahin
« Prev « First page 1598 / 2000 Last » Next »