Sciweavers

7206 search results - page 1187 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
FSEN
2007
Springer
15 years 10 months ago
Zone-Based Universality Analysis for Single-Clock Timed Automata
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
Parosh Aziz Abdulla, Joël Ouaknine, Karin Qua...
MIDDLEWARE
2007
Springer
15 years 10 months ago
Promoting levels of openness on component-based adaptable middleware
It is widely accepted that middleware is an important architectural element which facilitates the development of software systems. In this paper we propose a novel approach for de...
Tarcisio da Rocha, Anna-Brith Arntsen, Arne Ketil ...
CCGRID
2006
IEEE
15 years 10 months ago
Towards Building an Intelligent Traffic Simulation Platform
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...
Jian Cao, Minglu Li, Linpeng Huang, Ren Qinsheng, ...
CODES
2006
IEEE
15 years 10 months ago
Resource virtualization in real-time CORBA middleware
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
Christopher D. Gill
EUROMICRO
2006
IEEE
15 years 10 months ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...
« Prev « First page 1187 / 1442 Last » Next »