Sciweavers

8555 search results - page 1474 / 1711
» Property Based Coordination
Sort
View
EOR
2008
81views more  EOR 2008»
15 years 6 months ago
Investment timing and optimal capacity choice for small hydropower projects
This paper presents a method for assessing small hydropower projects that are subject to uncertain electricity prices. We present a real options-based method with continuous scali...
Thor Bøckman, Stein-Erik Fleten, Erik Juliu...
FAC
2008
139views more  FAC 2008»
15 years 6 months ago
Network invariants for real-time systems
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
Olga Grinchtein, Martin Leucker
CACM
2006
58views more  CACM 2006»
15 years 6 months ago
What is your software worth?
This article presents a method for valuing software, based on the income that use of that software is expected to generate in the future. It applies well known principles of intel...
Gio Wiederhold
CG
2006
Springer
15 years 6 months ago
Approximate collision response using closest feature maps
In this paper we consider the novel idea of closest feature maps (CFMs) applied to refinable collision response in order to address the potential issues and problems associated wi...
Thanh Giang, Carol O'Sullivan
CJ
2006
100views more  CJ 2006»
15 years 6 months ago
Fuzzifying P Systems
Abstract. Uncertainty is an inherent property of all living systems. Curiously enough, computational models inspired by biological systems do not take, in general, under considerat...
Apostolos Syropoulos
« Prev « First page 1474 / 1711 Last » Next »