Sciweavers

581 search results - page 57 / 117
» Systematic Implementation of Real-Time Models
Sort
View
MODELS
2009
Springer
14 years 2 months ago
SLIM - A Lightweight Environment for Synchronous Collaborative Modeling
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
Christian Thum, Michael Schwind, Martin Schader
JCIT
2008
71views more  JCIT 2008»
13 years 10 months ago
Robust Model for sea surface current simulation from radarsat-1 SAT data
This paper was utilized robust model to simulate sea surface current pattern. The horizontal surface velocity model was modified based on the Doppler frequency theory to model the...
Maged Marghany, Mazlan Hashim
RTCSA
2005
IEEE
14 years 3 months ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
KBS
2002
136views more  KBS 2002»
13 years 9 months ago
Diagnostic reasoning based on means-end models: experiences and future prospects
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
Jan Eric Larsson
EUROCAST
2003
Springer
130views Hardware» more  EUROCAST 2003»
14 years 3 months ago
A Model of Neural Inspiration for Local Accumulative Computation
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...
José Mira, Miguel Angel Fernández, M...