Sciweavers

672 search results - page 59 / 135
» A framework for QoS-aware software components
Sort
View
DSN
2004
IEEE
15 years 7 months ago
Assured Reconfiguration of Embedded Real-Time Software
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
Elisabeth A. Strunk, John C. Knight
134
Voted
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 5 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
EMSOFT
2004
Springer
15 years 9 months ago
Reuse of software in distributed embedded automotive systems
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...
Bernd Hardung, Thorsten Kölzow, Andreas Kr&uu...
SEKE
2007
Springer
15 years 9 months ago
Towards Domain-Centric Ontology Development and Maintenance Frameworks
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
Faezeh Ensan, Weichang Du
HUC
1999
Springer
15 years 8 months ago
A Digital Photography Framework Supporting Social Interaction and Affective Awareness
Photographs have significant social roles. For example, they help families and friends to preserve an affective link and provide a support for communication. The increasing popular...
Olivier Liechti, Tadao Ichikawa