Sciweavers

1086 search results - page 45 / 218
» A Probabilistic Model for Software Projects
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
14 years 2 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
ICPR
2006
IEEE
14 years 9 months ago
Target Model Estimation using Particle Filters for Visual Servoing
In this paper, we present a novel method for model estimation for visual servoing. This method employs a particle filter algorithm to estimate the depth of the image features onli...
A. H. Abdul Hafez, C. V. Jawahar
SIGSOFT
2010
ACM
13 years 6 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
ISORC
2003
IEEE
14 years 1 months ago
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
Anders Wall, Johan Andersson, Christer Norströ...
ESWS
2009
Springer
14 years 2 months ago
ONTOCOM Revisited: Towards Accurate Cost Predictions for Ontology Development Projects
Reliable methods to assess the costs and benefits of ontologies are an important instrument to demonstrate the tangible business value of semantic technologies within enterprises,...
Elena Paslaru Bontas Simperl, Igor O. Popov, Tobia...