Sciweavers

4250 search results - page 203 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
ISIM
2007
13 years 12 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
HIS
2004
13 years 11 months ago
A Case-Based Recommender for Task Assignment in Heterogeneous Computing Systems
Case-based reasoning (CBR) is a knowledge-based problem-solving technique, which is based on reuse of previous experiences. In this paper we propose a new model for static task as...
S. Ghanbari, Mohammad Reza Meybodi, Kambiz Badie
RE
2010
Springer
13 years 5 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
WSCG
2003
193views more  WSCG 2003»
13 years 11 months ago
Automatically Generating Roof Models from Building Footprints
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
R. G. Laycock, A. M. Day
TIM
2011
134views more  TIM 2011»
13 years 5 months ago
A New Sensory System for Modeling and Tracking Humans Within Industrial Work Cells
—This paper introduces a new sensory system for the 2-D detection, tracking, and prediction of human motions. Using the data acquired through the sensory system, a model of a hum...
Nima Najmaei, Mehrdad R. Kermani, M. A. Al-Lawati