Sciweavers

2025 search results - page 256 / 405
» A Reliable Software Architecture for Complex Embedded System...
Sort
View
191
Voted
BMCBI
2007
203views more  BMCBI 2007»
15 years 6 months ago
A Grid-based solution for management and analysis of microarrays in distributed experiments
Several systems have been presented in the last years in order to manage the complexity of large microarray experiments. Although good results have been achieved, most systems ten...
Ivan Porro, Livia Torterolo, Luca Corradi, Marco F...
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
16 years 29 days ago
Issues Related to Development of E/E Product Line Architectures in Heavy Vehicles
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
Peter Wallin, Stefan Johnsson, Jakob Axelsson
143
Voted
ISARCS
2010
156views Hardware» more  ISARCS 2010»
15 years 8 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký
IPPS
1998
IEEE
15 years 10 months ago
NoWait-RPC: Extending ONC RPC to a Fully Compatible Message Passing System
Locally and functionally distributed applications realized on different system architectures demand a universal, portable and intuitive software utility for interprocess communica...
Thomas Hopfner, Franz Fischer, Georg Färber
IRI
2008
IEEE
16 years 17 days ago
FACT: A fusion architecture with contract templates for semantic and syntactic integration
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
Rose F. Gamble, Robert Baird, Leigh Flagg, Melody ...