Sciweavers

7206 search results - page 209 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
HICSS
2007
IEEE
105views Biometrics» more  HICSS 2007»
16 years 24 days ago
A Visualization Framework for Task-Oriented Modeling Using UML
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
Christian F. J. Lange, Martijn A. M. Wijns, Michel...
WOSS
2004
ACM
15 years 12 months ago
Exploiting architectural prescriptions for self-managing, self-adaptive systems: a position paper
We propose a high-level approach to software architecture that bridges the gap between system requirements (in the problem space) and the architectural design (in the solution spa...
Matthew J. Hawthorne, Dewayne E. Perry
CODES
2001
IEEE
15 years 10 months ago
A practical tool box for system level communication synthesis
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
Denis Hommais, Frédéric Pétro...
ICSEA
2008
IEEE
16 years 27 days ago
A Component Model Family for Vehicular Embedded Systems
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
Tomás Bures, Jan Carlson, Séverine S...
ICSEA
2008
IEEE
16 years 27 days ago
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy