Sciweavers

5446 search results - page 218 / 1090
» Software Architecture - Introduction
Sort
View
FLAIRS
2000
15 years 7 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
CSMR
2006
IEEE
16 years 17 days ago
Migrating Supervisory Control Architectures Using Model Transformations
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
Bas Graaf, Sven Weber, Arie van Deursen
ADAEUROPE
2005
Springer
16 years 2 days ago
A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle
Teleoperated robots are used to perform hazardous tasks that human operators cannot carry out. The purpose of this paper is to present a new architecture (ACROSET) for the developm...
Francisco J. Ortiz, Diego Alonso, Bárbara &...
PREMI
2005
Springer
16 years 8 hour ago
Artificial Neural Network Engine: Parallel and Parameterized Architecture Implemented in FPGA
In this paper we present and analyze an artificial neural network hardware engine, its architecture and implementation. The engine was designed to solve performance problems of the...
Milene Barbosa Carvalho, Alexandre Marques Amaral,...
ICSE
2003
IEEE-ACM
15 years 11 months ago
Tool Support for Scenario-Based Architecture Evaluation
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...
Steffen Thiel, Andreas Hein, Heiner Engelhardt