Sciweavers

3281 search results - page 243 / 657
» An Approach to use Executable Models for Testing
Sort
View
120
Voted
DSN
2007
IEEE
15 years 10 months ago
Assessing Robustness of Web-Services Infrastructures
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
Marco Vieira, Nuno Laranjeiro, Henrique Madeira
156
Voted
ASWEC
2009
IEEE
15 years 1 months ago
From Requirements to Embedded Software - Formalising the Key Steps
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
Toby Myers, R. Geoff Dromey
ISCAS
1994
IEEE
104views Hardware» more  ISCAS 1994»
15 years 8 months ago
A Homotopy Continuation Method for Parameter Estimation in MRF Models and Image Restoration
In this paper, we present an alternate approach to estimate the parameters of a Markov random field (MRF) model for images using the concepts of homotopy continuation method. We a...
P. K. Nanda, Uday B. Desai, P. G. Poonacha
130
Voted
SCAM
2003
IEEE
15 years 9 months ago
Managing Multi-Billion Dollar IT Budgets using Source Code Analysis
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
Chris Verhoef
109
Voted
AAAI
1990
15 years 5 months ago
LOGnets: A Hybrid Graph Spatial Representation for Robot Navigation
In this article we present a novel, hybrid graph spatial representation for robot navigation. This representation enables our mobile robot to build a model of its surroundings whi...
Peter K. Malkin, Sanjaya Addanki