Sciweavers

4348 search results - page 614 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
WSC
1998
15 years 8 months ago
Visual Simulation Environment
This paper introduces the Visual Simulation Environment (VSE). VSE has been developed under research funding, primarily from the U.S. Navy for over a decade. It enables discrete-e...
Osman Balci, Anders I. Bertelrud, Chuck M. Esterbr...
WSC
2004
15 years 8 months ago
A Data Warehouse Environment for Storing and Analyzing Simulation Output Data
Discrete event simulation modelling has been extensively used in modelling complex systems. Although it offers great conceptual-modelling flexibility, it is both computationally e...
Christos Vasilakis, Elia El-Darzi, Panagiotis Chou...
MODELS
2009
Springer
16 years 1 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
ACG
2009
Springer
16 years 1 months ago
Data Assurance in Opaque Computations
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
Joe Hurd, Guy Haworth
CEC
2008
IEEE
16 years 1 months ago
Real-time evolution of an embedded controller for an autonomous helicopter
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
Benjamin N. Passow, Mario A. Góngora, S. Co...