Sciweavers

7209 search results - page 569 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
135
Voted
ECSA
2010
Springer
15 years 5 months ago
On the Role of Architectural Styles in Improving the Adaptation Support of Middleware Platforms
Modern middleware platforms provide the applications deployed on top of them with facilities for their adaptation. However, the level of adaptation support provided by the state-of...
Naeem Esfahani, Sam Malek
DSTEP
2010
15 years 2 months ago
A Discussion of Three Visualisation Approaches to Providing Cognitive Support in Variability Management
: Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points ...
Ciarán Cawley, Patrick Healy, Goetz Botterw...
132
Voted
ICSE
2009
IEEE-ACM
15 years 2 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
130
Voted
ISORC
2009
IEEE
15 years 11 months ago
Component Based Middleware-Synthesis for AUTOSAR Basic Software
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
Dietmar Schreiner, Markus Schordan, Karl M. Gö...
150
Voted
BMCBI
2005
92views more  BMCBI 2005»
15 years 4 months ago
FIGENIX: Intelligent automation of genomic annotation: expertise integration in a new software platform
Background: Two of the main objectives of the genomic and post-genomic era are to structurally and functionally annotate genomes which consists of detecting genes' position a...
Philippe Gouret, Vérane Vitiello, Nathalie ...