Sciweavers

12333 search results - page 618 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ACTA
2007
106views more  ACTA 2007»
15 years 7 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
ADAEUROPE
2007
Springer
16 years 1 months ago
Real-Time Utilities for Ada 2005
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...
Andy J. Wellings, Alan Burns
ROBIO
2006
IEEE
217views Robotics» more  ROBIO 2006»
16 years 1 months ago
Modular software architecture for teams of cooperating, heterogeneous robots
— For teams of cooperating autonomous lightweight robots with challenging dynamical locomotion properties a platform independent modular software architecture and platform indepe...
Martin Friedmann, Jutta Kiener, Sebastian Petters,...
HICSS
2003
IEEE
105views Biometrics» more  HICSS 2003»
16 years 14 days ago
New Software Development Paradigms and Possible Adoption for Security
EGovernment would be a lot easier if it could be handled like eBusiness. Unfortunately there are organizational and legal obstacles that make it virtually impossible. The security...
Matthias Günter, Michael Gisler, Bianca von B...
SPRINGSIM
2010
15 years 5 months ago
Advanced IDE for modeling and simulation of discrete event systems
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
Matías Bonaventura, Gabriel A. Wainer, Rodr...