Sciweavers

8540 search results - page 475 / 1708
» The Dynamic Servers Problem
Sort
View
BIRTHDAY
2008
Springer
15 years 9 months ago
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving softw...
Carlo Ghezzi, Paola Inverardi, Carlo Montangero
AMAST
2006
Springer
15 years 8 months ago
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
Matteo Dell'Amico, Maura Cerioli
EUSFLAT
2007
111views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Fuzziness - Representation of Dynamic Changes?
The paper brings a discussion about the source of the inaccuracy in observations of objects and demonstrates that the essential reason of the lack of precision is changeability, a...
Witold Kosinski, Piotr Prokopowicz
IJCAI
2007
15 years 8 months ago
The Value of Observation for Monitoring Dynamic Systems
We consider the fundamental problem of monitoring (i.e. tracking) the belief state in a dynamic system, when the model is only approximately correct and when the initial belief st...
Eyal Even-Dar, Sham M. Kakade, Yishay Mansour
AAAI
2006
15 years 8 months ago
Point-based Dynamic Programming for DEC-POMDPs
We introduce point-based dynamic programming (DP) for decentralized partially observable Markov decision processes (DEC-POMDPs), a new discrete DP algorithm for planning strategie...
Daniel Szer, François Charpillet