Sciweavers

1288 search results - page 102 / 258
» On Analysis of Design Component Contracts: A Case Study
Sort
View
CCGRID
2005
IEEE
15 years 3 months ago
A semantic grid-based data access and integration service for bioinformatics
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
Giovanni Aloisio, Massimo Cafaro, Italo Epicoco, S...
IPPS
2007
IEEE
15 years 8 months ago
Integrated Environment for Embedded Control Systems Design
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...
Roman Bartosinski, Zdenek Hanzálek, Petr St...
AH
2006
Springer
15 years 5 months ago
eDAADe: An Adaptive Recommendation System for Comparison and Analysis of Architectural Precedents
We built a Web-based adaptive recommendation system for students to select and suggest architectural cases when they analyze "Case Study" work within the architectural de...
Shu-Feng Pan, Ji-Hyun Lee
WAPCV
2007
Springer
15 years 7 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
COMPSAC
2007
IEEE
15 years 8 months ago
A Framework for Open Distributed System Design
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
Alexei Iliasov, Alexander Romanovsky, Budi Arief