Sciweavers

2796 search results - page 117 / 560
» A time structure based software reliability model
Sort
View
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
14 years 3 months ago
Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data
: Small unmanned vertical take off and landing vehicles are used to provide the eye-in-the-sky alternative to monitoring and regulating traffic dynamically. Spatial-temporal visual...
Anuj Puri, Kimon P. Valavanis, Michael Kontitsis
ASWEC
2008
IEEE
14 years 3 months ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
CORR
2010
Springer
132views Education» more  CORR 2010»
13 years 9 months ago
Bayesian Network Based XP Process Modelling
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
Mohamed Abouelela, Luigi Benedicenti
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
14 years 3 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
DFG
2004
Springer
14 years 28 days ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...